I am changing the font size in the script editor settings, but when a new script editor is opened, the font size jumps back to default. Is this a bug or a feature?
