module LTerm_widget:sig..end
type switch
val register : switch option -> 'a Lwt_sequence.t -> 'a -> unitval stop : switch -> unitval exec_callbacks : ('a -> unit) Lwt_sequence.t -> 'a -> unitapply_callbacks callbacks xval exec_filters : ('a -> bool) Lwt_sequence.t -> 'a -> boolclass 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.trun 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.