Feature request: Font settings
ingmarlehmann opened this issue · 2 comments
ingmarlehmann commented
It would be nice to be able to change the font settings from within the IDE.
eidheim commented
You can change the font settings in preferences.
ingmarlehmann commented
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?