blob: adea445514fca74ffd34a8fcb654a75263624b54 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
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
|
