[Ipe-discuss] font size in menu bar and menus

[Kostas Oikonomou]

Hi,

I have ipe-7.2.8 on FreeBSD, using Qt 5.

I cannot make the size of the font used in the menu bar or menus bigger, 
it looks like it is stuck at 10pt.
In the past, ipe used to obey the qt config utility (be it Qt 4 or Qt 
5).  Now it is ignoring it.

I also tried what is said in prefs.lua:

prefs.ui_scale = 120
prefs.toolbar_scale = 150

These settings don't have any effect either.

                                 Kostas