I want to thank the developers for ST 4200! I am hesitant to install the dev versions, so I appreciate the update to the stable version.
I was playing around with the new preference of default font size. I added the following key binding:
{ "keys": ["ctrl+shift+="], "command": "reset_font_size", },
In my preferences, I have "font_size": 10,
. When I increase the font size and then press the key binding, it resets to 11, and not 10. To avoid this issue, it seems the user is required to add "default_font_size": 10,
to the preferences, even though this is identical to the default preferences. Therefore, I am under the impression this is a bug.