Permanent editor settings?

I can’t make persistent changes to the editor settings (theme, font size etc).
Each time I quit the IDE, the settings are reset (even if I do not quit CG).
Am I missing a “save” button or something? A bug?
(I’m using Firefox/Mac.)

BTW, thanks for great new IDE.

We do not provide the ability to change the font size. If you are referring to the settings you can set with Ctrl + [,], well those are the ACE editor settings: that’s not a feature we support officially…

The settings you can set using the menu located on the left of the IDE should be persistent. If it’s not the case, that’s a bug.

I see, thanks (yes it was Ctrl+,).