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"
|