Quartus II font size

[Altera_Forum]

is there a way to change the size of fonts displayed on the central panels in Quartus II 15.0? 

 The ones in v15 are much larger than those on 13.1 :(  I did change the size on the messages, but the rest is too large.  Roberto

[Altera_Forum]

--- Quote Start ---  is there a way to change the size of fonts displayed on the central panels in Quartus II 15.0?  The ones in v15 are much larger than those on 13.1 :(  I did change the size on the messages, but the rest is too large.  Roberto  --- Quote End ---    Linux, Debian with KDE (sorry, forgot that part)

[Altera_Forum]

Hi rhexsel, 

 Typically i never changed before. However you can find the font setting in the Tools>Options>General>Fonts

[Altera_Forum]

thanks! 

 What happend was that the default font (sans serif) was not available on my system, not with that name anyway, and Quartus must have defaulted to a large-ish size.  Picking a "known" font fixed it.