I would like to change the size of the font for the interface; see the screenshot.
I can change the font type (in my case: Garamond), and if I select a different font, the font used in the interface updates as soon as I press “Apply”, but no matter what I set the size to, the size does not change.
Using Komodo Edit 10 on Windows 7.