IJ menu font sizes?

Posted by Gabriel Landini on
URL: http://imagej.273.s1.nabble.com/IJ-menu-font-sizes-tp3700839.html

Hi,
Does anybody know what should one tweak to increase the font size of the IJ
menu?
I just upgraded to a new version of linux, and IJ appears a bit small; I could
do with a slight increase in font size.

I found the file:
/jre/lib/fontconfig.properties.src

but there isn't anything to tweak in there...

Thanks for any pointers.

Gabriel