Linux (1999-11-09-11 M11) commercial On linux, the folder pane font size is very small. Need a way to change the font size in the folder pane.

I assume this is something which should be fixed in the global skin. Reassigning to german, cc hangas. Note that I don't think we need UI to change the font in the tree widget, but the default font/size should look right on all platforms.

German said at somepoint when the globle skin is fully fixed, this one will be done. But he is not the one that's re-writing the skin. So I assume that Paul is working on it. Re-assign.

I have seen that the font size on most of the Linux boxes I have seen was too small. The font was too small in all parts of the chrome. Since the font size in the folder pane is the same size as the font size in the thread pane and all other parts of the chrome there does not seem to be a reason to adjust simply the font size of the folder pane. Closing bug.

Ok. Mark it verified.