28 Jan
2017
28 Jan
'17
5:32 p.m.
Appearance | fonts | Menu font...
On Sat, Jan 28, 2017 at 7:21 AM, H. Hirzel hannes.hirzel@gmail.com wrote:
Hello
How do I set the font size of the world menu and the docking bar menus?
I found nothing in the preferences. Did this change?
Regards Hannes