I remember setting something that affected the font size in GUI elements such as menu bars as well as text areas in editors (such as the default font setting in gvim).
I tried to look into the "appearance" settings but could not find it.
Do you remember that setting? How to tweak it?
thanks!