The main GUI module, defining windows and boxes used to split the windows.
More elements can be showed in interface if needed.
class gui_window : ?x:int -> ?y:int -> ?w:int -> ?h:int -> unit -> object ... endclass gui_paned : View.topwin -> Stk.Props.orientation -> unit -> object ... endclass gui_notebook : View.topwin -> unit -> object ... endval init_view : View.topwin -> View.gui_view -> unitThis function inits a view with the given window.
type gui_windows = gui_window listval gui_windows : gui_windows Stdlib.refval active_window : gui_window option Stdlib.refThe default function does nothing. the referenced function is called when the last gui window is dsetroyed.
val create_window : ?x:int -> ?y:int -> ?w:int -> ?h:int -> unit -> gui_windowCode of the "in_new_window" command which creates a new window and use it as active window when evaluating the command represented by the given arguments: first argument is the command name, following ones are the arguments of the command to launch.
val on_active_window : (gui_window -> unit) -> unit -> unitThis function, on_active_window_lwt and on_active_window_args can be used to apply a function to the active window, if any. They are useful when creating commands to register.
val on_active_window_lwt : (gui_window -> unit Lwt.t) -> unit -> unit Lwt.tval on_active_window_args :
(gui_window -> string array -> unit) ->
string array ->
unit Lwt.tval prompt_command_history : Minibuffer.minibuffer_historyThe history associated to the "prompt_command" command.
val prompt_command : gui_window -> unitThis function uses the active window's minibuffer to prompt the user for a command.