On 06/19/2015 12:43 PM, Johannes Koehler wrote:
Funny problem. When i reduce the sharpness of this
monitor this effect is also disappearing.
But maybe someone can tell me how to change the size
of this font type. (menu in the jpg file)
I dont find a option inside of Defaults/WindowMaker.
Then this post was not complet for nothing :)
The fonts in these dialogs are determined by the widget toolkit, WINGs.
You can change these by setting SystemFont and BoldSystemFont in
Defaults/WMGLOBAL or "System Font" and "Bold System Font" under the
"Font Configuration" tab in WPrefs.
Doug
--
To unsubscribe, send mail to wmaker-user-unsubscr...@lists.windowmaker.org.
