[Mldonkey-commits] Changes to mldonkey/src/gtk/newgui/gui_options.ml

[mldonkey-commits]

Index: mldonkey/src/gtk/newgui/gui_options.ml
diff -u mldonkey/src/gtk/newgui/gui_options.ml:1.12 
mldonkey/src/gtk/newgui/gui_options.ml:1.13
--- mldonkey/src/gtk/newgui/gui_options.ml:1.12 Fri Aug  5 00:56:13 2005
+++ mldonkey/src/gtk/newgui/gui_options.ml      Thu Oct  6 10:21:08 2005
@@ -234,22 +234,22 @@
 
 let font_list =  define_option mldonkey_gui_section ["fonts"; "list"]
     ( M.h_font_list) string_option
-     ( if Autoconf.system = "windows" then 
"-unknown-Tahoma-normal-r-normal-*-*-100-*-*-p-*-iso8859-1"
+     ( if Autoconf.windows then 
"-unknown-Tahoma-normal-r-normal-*-*-100-*-*-p-*-iso8859-1"
      else "-*-*-*-*-*-*-*-*-*-*-*-*-*-*" )
 
 let font_main_tab =  define_option mldonkey_gui_section ["fonts"; "main_tab"]
     ( M.h_font_main_tab) string_option
-     ( if Autoconf.system = "windows" then 
"-unknown-Tahoma-normal-r-normal-*-*-100-*-*-p-*-iso8859-1"
+     ( if Autoconf.windows then 
"-unknown-Tahoma-normal-r-normal-*-*-100-*-*-p-*-iso8859-1"
      else "-*-*-*-*-*-*-*-*-*-*-*-*-*-*" )
 
 let font_networks =  define_option mldonkey_gui_section ["fonts"; "networks"]
     ( M.h_font_networks) string_option
-     ( if Autoconf.system = "windows" then 
"-unknown-Tahoma-normal-r-normal-*-*-100-*-*-p-*-iso8859-1"
+     ( if Autoconf.windows then 
"-unknown-Tahoma-normal-r-normal-*-*-100-*-*-p-*-iso8859-1"
      else "-*-*-*-*-*-*-*-*-*-*-*-*-*-*" )
 
 let font_graphic =  define_option mldonkey_gui_section ["fonts"; "graphic"]
     ( M.h_font_graphic)  string_option
-     ( if Autoconf.system = "windows" then 
"-unknown-Tahoma-normal-r-normal-*-*-80-*-*-p-*-iso8859-1"
+     ( if Autoconf.windows then 
"-unknown-Tahoma-normal-r-normal-*-*-80-*-*-p-*-iso8859-1"
      else "-*-*-*-*-*-*-*-*-*-*-*-*-*-*" )
 
 (*