module Ed_gui:The main GUI module, defining windows and boxes used to split the windows.sig
..end
More elements can be showed in interface if needed.
val window_pixbuf : GdkPixbuf.pixbuf option
class gui_window :?x:int -> ?y:int -> ?width:int -> ?height:int -> unit ->
object
..end
class gui_paned :Ed_view.topwin -> Gtk.Tags.orientation -> unit ->
object
..end
class gui_notebook :Ed_view.topwin -> unit ->
object
..end
val init_view : Ed_view.topwin -> Ed_view.gui_view -> unit
typegui_windows =
gui_window list
val gui_windows : gui_windows Pervasives.ref
val active_window : gui_window option Pervasives.ref
val on_last_window_close : (unit -> unit) Pervasives.ref
val create_window : ?x:int -> ?y:int -> ?width:int -> ?height:int -> unit -> gui_window
val in_new_window : string array -> unit
val show_about_dialog : unit -> unit
val on_active_window : (gui_window -> unit) -> unit -> unit
Ed_gui.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_args : (gui_window -> string array -> unit) -> string array -> unit
val prompt_command_history : Ed_minibuffer.minibuffer_history
val prompt_command : gui_window -> unit