/[mldonkey]/mldonkey/src/gtk/newgui/gui_options.ml
ViewVC logotype

Diff of /mldonkey/src/gtk/newgui/gui_options.ml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.12 by spiralvoice, Fri Aug 5 00:56:13 2005 UTC revision 1.13 by spiralvoice, Thu Oct 6 10:21:08 2005 UTC
# Line 234  let color_network_disabled =  define_opt Line 234  let color_network_disabled =  define_opt
234    
235  let font_list =  define_option mldonkey_gui_section ["fonts"; "list"]  let font_list =  define_option mldonkey_gui_section ["fonts"; "list"]
236      ( M.h_font_list) string_option      ( M.h_font_list) string_option
237       ( 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"
238       else "-*-*-*-*-*-*-*-*-*-*-*-*-*-*" )       else "-*-*-*-*-*-*-*-*-*-*-*-*-*-*" )
239    
240  let font_main_tab =  define_option mldonkey_gui_section ["fonts"; "main_tab"]  let font_main_tab =  define_option mldonkey_gui_section ["fonts"; "main_tab"]
241      ( M.h_font_main_tab) string_option      ( M.h_font_main_tab) string_option
242       ( 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"
243       else "-*-*-*-*-*-*-*-*-*-*-*-*-*-*" )       else "-*-*-*-*-*-*-*-*-*-*-*-*-*-*" )
244    
245  let font_networks =  define_option mldonkey_gui_section ["fonts"; "networks"]  let font_networks =  define_option mldonkey_gui_section ["fonts"; "networks"]
246      ( M.h_font_networks) string_option      ( M.h_font_networks) string_option
247       ( 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"
248       else "-*-*-*-*-*-*-*-*-*-*-*-*-*-*" )       else "-*-*-*-*-*-*-*-*-*-*-*-*-*-*" )
249    
250  let font_graphic =  define_option mldonkey_gui_section ["fonts"; "graphic"]  let font_graphic =  define_option mldonkey_gui_section ["fonts"; "graphic"]
251      ( M.h_font_graphic)  string_option      ( M.h_font_graphic)  string_option
252       ( 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"
253       else "-*-*-*-*-*-*-*-*-*-*-*-*-*-*" )       else "-*-*-*-*-*-*-*-*-*-*-*-*-*-*" )
254    
255  (*  (*

Legend:
Removed from v.1.12  
changed lines
  Added in v.1.13

savannah-hackers-public@gnu.org
ViewVC Help
Powered by ViewVC 1.1.26