Closed ingmarlehmann closed 7 years ago
It would be nice to be able to change the font settings from within the IDE.
You can change the font settings in preferences.
Same as before, I just didn't find the Preferences menu since it is in my gnome top bar. Thank you! Should I close this and the theme requests?
It would be nice to be able to change the font settings from within the IDE.