Dear Maintainer,
the text editor preferences allow a user to select a font type and a
font size. Once you select both, the button for confirming the changes
becomes enabled. If you open this preferences window and only change
the font size, that button does not get enabled and you cannot save
your preferences.
Instead, you are forced to select once again the font type (and you
have to remember and type its exact name) in order to save the size
change.
I think the button should get enabled even when changing the font size
alone.
Bye,
Giuseppe