blob: ac94f43d7c213e4a8e96ab20eafba470221686a1 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
|
(*************************************************************************)
(* *)
(* 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
|
