Blame browser/jg_config.ml

Packit bd2e5d
(*************************************************************************)
Packit bd2e5d
(*                                                                       *)
Packit bd2e5d
(*                         OCaml LablTk library                          *)
Packit bd2e5d
(*                                                                       *)
Packit bd2e5d
(*            Jacques Garrigue, Kyoto University RIMS                    *)
Packit bd2e5d
(*                                                                       *)
Packit bd2e5d
(*   Copyright 1999 Institut National de Recherche en Informatique et    *)
Packit bd2e5d
(*   en Automatique and Kyoto University.  All rights reserved.          *)
Packit bd2e5d
(*   This file is distributed under the terms of the GNU Library         *)
Packit bd2e5d
(*   General Public License, with the special exception on linking       *)
Packit bd2e5d
(*   described in file ../../../LICENSE.                                 *)
Packit bd2e5d
(*                                                                       *)
Packit bd2e5d
(*************************************************************************)
Packit bd2e5d
Packit bd2e5d
(* $Id$ *)
Packit bd2e5d
Packit bd2e5d
open StdLabels
Packit bd2e5d
open Jg_tk
Packit bd2e5d
Packit bd2e5d
let fixed = if wingui then "{Courier New} 8" else "fixed"
Packit bd2e5d
let variable = if wingui then "Arial 9" else "variable"
Packit bd2e5d
Packit bd2e5d
let init () =
Packit bd2e5d
  if wingui then Option.add ~path:"*font" fixed;
Packit bd2e5d
  let font =
Packit bd2e5d
    let font =
Packit bd2e5d
      Option.get Widget.default_toplevel ~name:"variableFont" ~clas:"Font" in
Packit bd2e5d
    if font = "" then variable else font
Packit bd2e5d
  in
Packit bd2e5d
  List.iter ["Button"; "Label"; "Menu"; "Menubutton"; "Radiobutton"]
Packit bd2e5d
    ~f:(fun cl -> Option.add ~path:("*" ^ cl ^ ".font") font);
Packit bd2e5d
  Option.add ~path:"*Menu.tearOff" "0" ~priority:`StartupFile;
Packit bd2e5d
  Option.add ~path:"*Button.padY" "0" ~priority:`StartupFile;
Packit bd2e5d
  Option.add ~path:"*Text.highlightThickness" "0" ~priority:`StartupFile;
Packit bd2e5d
  Option.add ~path:"*interface.background" "gray85" ~priority:`StartupFile;
Packit bd2e5d
  let foreground =
Packit bd2e5d
    Option.get Widget.default_toplevel
Packit bd2e5d
      ~name:"disabledForeground" ~clas:"Foreground" in
Packit bd2e5d
  if foreground = "" then
Packit bd2e5d
    Option.add ~path:"*disabledForeground" "black"