module LTerm_widget:sig
..end
type
switch
val register : switch option -> 'a Lwt_sequence.t -> 'a -> unit
val stop : switch -> unit
val exec_callbacks : ('a -> unit) Lwt_sequence.t -> 'a -> unit
apply_callbacks callbacks x
val exec_filters : ('a -> bool) Lwt_sequence.t -> 'a -> bool
class t :string ->
object
..end
class label :string ->
object
..end
exception Out_of_range
class type box =object
..end
class hbox :box
class vbox :box
class frame :object
..end
class hline :t
class vline :t
class button :string ->
object
..end
val run : LTerm.t ->
?save_state:bool ->
?load_resources:bool ->
?resources_file:string -> #t -> 'a Lwt.t -> 'a Lwt.t
run term ?save_state widget w
runs on the given terminal using
widget
as main widget. It returns when w
terminates. If
save_state
is true
(the default) then the state of the
terminal is saved and restored when w
terminates.
If load_resources
is true
(the default) then
resources_file
(which default to ".lambda-termrc" in the home
directory) is loaded and the result is set to w
.