2
Vote

[bug] Different font family in menu depending on OS.

description

Different font family in menu depending on OS.

comments

megaten wrote Nov 11, 2012 at 8:28 AM

And size font too.

wrote Feb 14, 2013 at 8:24 PM