Appearance | fonts | Menu font...


On Sat, Jan 28, 2017 at 7:21 AM, H. Hirzel <hannes.hirzel at 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
>