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