[wingide-users] User defined fontsMartin Preishuber firstname.lastname@example.org
02 Apr 2002 19:08:16 +0200
Hi there, I just tried wingide when running KDE and noticed some problems with fonts (the menus were pretty huge). I manage to change most of the fonts by using gui.display-font-name gui.display-font-size, but that doesn't change all fonts. Fonts, which are not change are "Debugger: Ready and idle" and the "Public", "Private", "Semi-Private" checkboxes in the source browser window (the "Classes", "Methods", ... are correct). How can I change those remaining fonts ? Martin -- Martin Preishuber - IT Expert, Student, SysAdmin http://www.eclipt.at, mailto:Martin.Preishuber@eclipt.at "They that can give up essential liberty to obtain a little temporary saftey deserve neither liberty not saftey." -- Benjamin Franklin, 1759
Run by Mailman v 2.0.8
Copyright (c) 2000-2002, Archaeopteryx Software, Inc.