Does anyone know what font is used for the Panel? I list my desktops by
name rather than number and would like to change the size of the font
for those names. Is there a way to do this? I already have the Panel
size set to tiny.
p.s. this is KDE 3.0.4 on SuSE 8.0