Blame frx/frx_color.ml

Packit bd2e5d
(***********************************************************************)
Packit bd2e5d
(*                                                                     *)
Packit bd2e5d
(*                 MLTk, Tcl/Tk interface of OCaml                     *)
Packit bd2e5d
(*                                                                     *)
Packit bd2e5d
(*    Francois Rouaix, Francois Pessaux, Jun Furuse and Pierre Weis    *)
Packit bd2e5d
(*               projet Cristal, INRIA Rocquencourt                    *)
Packit bd2e5d
(*            Jacques Garrigue, Kyoto University RIMS                  *)
Packit bd2e5d
(*                                                                     *)
Packit bd2e5d
(*  Copyright 2002 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 found in the OCaml source tree.          *)
Packit bd2e5d
(*                                                                     *)
Packit bd2e5d
(***********************************************************************)
Packit bd2e5d
open Camltk
Packit bd2e5d
open Protocol
Packit bd2e5d
Packit bd2e5d
module StringSet = Set.Make(struct type t = string let compare = compare end)
Packit bd2e5d
Packit bd2e5d
(* should we keep a negative cache ? *)
Packit bd2e5d
let available_colors = ref (StringSet.empty)
Packit bd2e5d
Packit bd2e5d
let check s =
Packit bd2e5d
  if StringSet.mem s !available_colors then true
Packit bd2e5d
  else begin
Packit bd2e5d
    try
Packit bd2e5d
      let f = Frame.create_named Widget.default_toplevel "frxcolorcheck"
Packit bd2e5d
          [Background (NamedColor s)] in
Packit bd2e5d
      available_colors := StringSet.add s !available_colors;
Packit bd2e5d
      destroy f;
Packit bd2e5d
      true
Packit bd2e5d
    with
Packit bd2e5d
      TkError _ -> false
Packit bd2e5d
  end