Currently, font size in the editor can be increased/decreased using ctrl + mouse scroll.
Make it such that the sidebar font can also be in increased/decreased when the user ctrl + mouse scrolls OR ctrl + +/- (this behavior should be independent of the editor font).
Make sure it works across all OSs - Windows, Linux, and macOS
Will create a feature ticket for this sometime later. There is an incoming settings sidebar #52 that should (at some point) be able to change the whole app's font size.
Currently, font size in the editor can be increased/decreased using
ctrl
+mouse scroll
. Make it such that the sidebar font can also be in increased/decreased when the userctrl
+mouse scrolls
ORctrl
++/-
(this behavior should be independent of the editor font).Make sure it works across all OSs - Windows, Linux, and macOS