[Pan-users] 0.11.92: large font in Task Manager and others

[Brian J. Murrell]

I am using the AA font support in Gnome2 with Pan 0.11.92.  I find the
font in the Task Manager quite large and would like to make it
smaller.  I could not find a knob in preferences for that font though
(I have modified the ones I could though).

Is this font not configurable in Pan or am I missing something?

Thanx,
b.

-- 
Brian J. Murrell

pgpWMjIeI9opR.pgp
Description: PGP signature