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 |
(* |
(* |