advice2020 created an issue (geany/geany#4380) To me, font sizes in sidebar are too small. I recently discovered that there is actually a setting for this that I overlooked due to the terminology used `Preferences - Interface - Interface` `Fonts` `Symbol list:` = Which is Sidebar text (which lead me to making this post #4378)
This font setting adjusts in the sidebar `Symbols` and `Documents` tabs without requiring restart. However, plugins such as `Files` and `Tree Browser` require Geany to be reopened, which might be an issue for this request. Suggesting to add the capability of using `Ctrl + Mouse Scroll Wheel` in the `Symbols` and `Documents` sidebar tabs to be able to adjust this font setting in real time, rather then having to go into settings to manually change. I do not think the following will be possible (if someone can confirm?) -Would also like it if `Ctrl + Mouse Scroll Wheel` could work in real time for sidebar plugins, for example `Files` and `Tree Browser` plugins. -Not as important but would be nice if this `Symbol list:` font setting would not require Geany restart to take effect as well. but again, not sure if this would even be possible to code. Thank You -- Reply to this email directly or view it on GitHub: https://github.com/geany/geany/issues/4380 You are receiving this because you are subscribed to this thread. Message ID: <geany/geany/issues/4...@github.com>
