desktop font


I couldn't find a bug on this, I was wondering if someone could give me
a quick yes/no of whether I should add one on it.

regardless of what theme I use, or what fonts I set in the font
preferences, I can't change the desktop font size.  the font in the
windows seems to react properly, but on the desktop it just stays kind
of huge.

may already be known as I saw a big font thread on here a while ago.

(with 1.1.18 and before)


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]