|
Packit |
bd2e5d |
(*************************************************************************)
|
|
Packit |
bd2e5d |
(* *)
|
|
Packit |
bd2e5d |
(* OCaml LablTk library *)
|
|
Packit |
bd2e5d |
(* *)
|
|
Packit |
bd2e5d |
(* Jacques Garrigue, Kyoto University RIMS *)
|
|
Packit |
bd2e5d |
(* *)
|
|
Packit |
bd2e5d |
(* Copyright 1999 Institut National de Recherche en Informatique et *)
|
|
Packit |
bd2e5d |
(* en Automatique and Kyoto University. All rights reserved. *)
|
|
Packit |
bd2e5d |
(* This file is distributed under the terms of the GNU Library *)
|
|
Packit |
bd2e5d |
(* General Public License, with the special exception on linking *)
|
|
Packit |
bd2e5d |
(* described in file ../../../LICENSE. *)
|
|
Packit |
bd2e5d |
(* *)
|
|
Packit |
bd2e5d |
(*************************************************************************)
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
(* $Id$ *)
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
class ['a] history :
|
|
Packit |
bd2e5d |
unit ->
|
|
Packit |
bd2e5d |
object
|
|
Packit |
bd2e5d |
val mutable count : int
|
|
Packit |
bd2e5d |
val mutable history : 'a list
|
|
Packit |
bd2e5d |
method add : 'a -> unit
|
|
Packit |
bd2e5d |
method empty : bool
|
|
Packit |
bd2e5d |
method next : 'a
|
|
Packit |
bd2e5d |
method previous : 'a
|
|
Packit |
bd2e5d |
end
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
(* toplevel shell *)
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
class shell :
|
|
Packit |
bd2e5d |
textw:Widget.text Widget.widget -> prog:string ->
|
|
Packit |
bd2e5d |
args:string array -> env:string array -> history:string history ->
|
|
Packit |
bd2e5d |
object
|
|
Packit |
bd2e5d |
method alive : bool
|
|
Packit |
bd2e5d |
method kill : unit
|
|
Packit |
bd2e5d |
method interrupt : unit
|
|
Packit |
bd2e5d |
method insert : string -> unit
|
|
Packit |
bd2e5d |
method send : string -> unit
|
|
Packit |
bd2e5d |
method history : [`Next|`Previous] -> unit
|
|
Packit |
bd2e5d |
end
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
val kill_all : unit -> unit
|
|
Packit |
bd2e5d |
val get_all : unit -> (string * shell) list
|
|
Packit |
bd2e5d |
val warnings : string ref
|
|
Packit |
bd2e5d |
|
|
Packit |
bd2e5d |
val f : prog:string -> title:string -> unit
|