Hi @cloudshell,
Thank you for reporting it. Preferences are stored in: ~/.theia/settings.json. I recommend removing ~/.theia folder. It will be recreated on Studio restart. Please keep in mind that it will delete all your user preferences and you will have to set them again. We will investigate it further.
Thanks,
Arek - Mbed Studio team