-type display_state = {
- window : GWindow.window;
- throbber_busy : unit -> unit;
- throbber_idle : unit -> unit;
- set_statusbar : string -> unit;
- clear_statusbar : unit -> unit;
- set_vmlist : string list -> unit;
- clear_vmlist : unit -> unit;
- clear_notebook : unit -> unit;
- filesystem : GPack.box;
- notebook : GPack.notebook;
-}
- (** This structure describes various variables and functions
- for the main window. It is returned from {!open_main_window}
- and passed around to various other functions. *)
-
-val open_main_window : unit -> display_state