diff options
Diffstat (limited to 'otherlibs/labltk/browser/shell.mli')
| -rw-r--r-- | otherlibs/labltk/browser/shell.mli | 46 |
1 files changed, 0 insertions, 46 deletions
diff --git a/otherlibs/labltk/browser/shell.mli b/otherlibs/labltk/browser/shell.mli deleted file mode 100644 index ac94f43d7c..0000000000 --- a/otherlibs/labltk/browser/shell.mli +++ /dev/null @@ -1,46 +0,0 @@ -(*************************************************************************) -(* *) -(* Objective Caml LablTk library *) -(* *) -(* Jacques Garrigue, Kyoto University RIMS *) -(* *) -(* Copyright 1999 Institut National de Recherche en Informatique et *) -(* en Automatique and Kyoto University. 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$ *) - -class ['a] history : - unit -> - object - val mutable count : int - val mutable history : 'a list - method add : 'a -> unit - method empty : bool - method next : 'a - method previous : 'a - end - -(* toplevel shell *) - -class shell : - textw:Widget.text Widget.widget -> prog:string -> - args:string array -> env:string array -> history:string history -> - object - method alive : bool - method kill : unit - method interrupt : unit - method insert : string -> unit - method send : string -> unit - method history : [`Next|`Previous] -> unit - end - -val kill_all : unit -> unit -val get_all : unit -> (string * shell) list -val warnings : string ref - -val f : prog:string -> title:string -> unit |