1 Oct
2008
1 Oct
'08
5:16 p.m.
Author: js Date: 2008-10-01 19:16:05 +0200 (Wed, 01 Oct 2008) New Revision: 10462
Modified: gtk-win32-bin/etc/gtk-2.0/gtkrc Log: Remove font-name. See #4252.
Modified: gtk-win32-bin/etc/gtk-2.0/gtkrc =================================================================== --- gtk-win32-bin/etc/gtk-2.0/gtkrc 2008-10-01 16:53:23 UTC (rev 10461) +++ gtk-win32-bin/etc/gtk-2.0/gtkrc 2008-10-01 17:16:05 UTC (rev 10462) @@ -1,2 +1,2 @@ gtk-theme-name = "Glossy-js" -gtk-font-name = "Verdana 9" +# gtk-font-name = "Verdana 9"