This commit was generated by cvs2svn to compensate for changes in r2531,

which included commits to RCS files with non-trunk default branches.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2532 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

1 files changed, 20 insertions, 0 deletions

diff --git a/otherlibs/labltk/browser/shell.mli b/otherlibs/labltk/browser/shell.mli
new file mode 100644
index 000000000..adea44551
--- /dev/null
+++ b/otherlibs/labltk/browser/shell.mli
@@ -0,0 +1,20 @@
+(* $Id$ *)
+
+(* toplevel shell *)
+
+class shell :
+  textw:Widget.text Widget.widget -> prog:string ->
+  args:string array -> env:string array ->
+  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 f : prog:string -> title:string -> unit