diff options
author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2000-02-01 05:43:25 +0000 |
---|---|---|
committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2000-02-01 05:43:25 +0000 |
commit | dd1eae5c347ee498195135a0f21ec0afb08ba0c5 (patch) | |
tree | a4aa4e40833704ead541e4673da8686aee56da31 /otherlibs/labltk/browser/jg_config.ml | |
parent | 8cb3080119fd39218328ca8c6b29bcb2b98b11e2 (diff) |
LablTk/OCamlBrowser portes sur Windows
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2773 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/labltk/browser/jg_config.ml')
-rw-r--r-- | otherlibs/labltk/browser/jg_config.ml | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/otherlibs/labltk/browser/jg_config.ml b/otherlibs/labltk/browser/jg_config.ml index 63df1387b..49500e2fc 100644 --- a/otherlibs/labltk/browser/jg_config.ml +++ b/otherlibs/labltk/browser/jg_config.ml @@ -13,14 +13,21 @@ (* $Id$ *) +let fixed = + if Sys.os_type = "Win32" then "{Courier New} 8" else "fixed" +let variable = + if Sys.os_type = "Win32" then "Arial 9" else "variable" + let init () = + if Sys.os_type = "Win32" then Option.add path:"*font" fixed; let font = let font = Option.get Widget.default_toplevel name:"variableFont" class:"Font" in - if font = "" then "variable" else font + if font = "" then variable else font in List.iter ["Button"; "Label"; "Menu"; "Menubutton"; "Radiobutton"] fun:(fun cl -> Option.add path:("*" ^ cl ^ ".font") font); + Option.add path:"*Menu.tearOff" "0" priority:`StartupFile; Option.add path:"*Button.padY" "0" priority:`StartupFile; Option.add path:"*Text.highlightThickness" "0" priority:`StartupFile; Option.add path:"*interface.background" "gray85" priority:`StartupFile; |