rubyFeedback created an issue (geany/geany#4345) Right now I am trying to find out where to change the font size (I am quite forgetful these days; I think I set this already a few days ago, need to write this down).
I looked at the settings but did not see a search functionality. Usually this can be triggered in gtk-applications via ctrl+f. Can we add such a functionality? If I then input "font", I could get a list of where fonts are kept in the preferences; see about:config in firefox or the equivalent in chrome. This helps the user save a bit of time, to find where the stuff is stored in the preferences/configuration settings. -- Reply to this email directly or view it on GitHub: https://github.com/geany/geany/issues/4345 You are receiving this because you are subscribed to this thread. Message ID: <geany/geany/issues/[email protected]>
