diff options
Diffstat (limited to 'otherlibs/graph/graphicsX11.ml')
| -rw-r--r-- | otherlibs/graph/graphicsX11.ml | 42 |
1 files changed, 0 insertions, 42 deletions
diff --git a/otherlibs/graph/graphicsX11.ml b/otherlibs/graph/graphicsX11.ml deleted file mode 100644 index 69f7b718d6..0000000000 --- a/otherlibs/graph/graphicsX11.ml +++ /dev/null @@ -1,42 +0,0 @@ -(***********************************************************************) -(* *) -(* Objective Caml *) -(* *) -(* Pierre Weis and Jun Furuse, projet Cristal, INRIA Rocquencourt *) -(* *) -(* Copyright 2001 Institut National de Recherche en Informatique et *) -(* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the GNU Library General Public License, with *) -(* the special exception on linking described in file ../../LICENSE. *) -(* *) -(***********************************************************************) - -(* $Id$ *) - -(* Module [GraphicsX11]: additional graphics primitives for the X Windows system *) - -type window_id = string - -external window_id : unit -> window_id = "gr_window_id" - -let subwindows = Hashtbl.create 13 - -external open_subwindow : int -> int -> int -> int -> window_id - = "gr_open_subwindow" -external close_subwindow : window_id -> unit - = "gr_close_subwindow" - -let open_subwindow ~x ~y ~width ~height = - let wid = open_subwindow x y width height in - Hashtbl.add subwindows wid (); - wid -;; - -let close_subwindow wid = - if Hashtbl.mem subwindows wid then begin - close_subwindow wid; - Hashtbl.remove subwindows wid - end else - raise (Graphics.Graphic_failure ("close_subwindow: no such subwindow: " ^ wid)) -;; - |