desktop font

[Chris Heywood <psych28 dingoblue net au>]

hey,

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)

thanks,
chris