Module Ed_gui (.ml)

module Ed_gui: sig .. end

The main GUI module, defining windows and boxes used to split the windows.

More elements can be showed in interface if needed.

val window_pixbuf : GdkPixbuf.pixbuf option

The icon to associate to a window if it could be built.

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

This function inits a view with the given window.

type gui_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

The default function does nothing. the referenced function is called when the last gui window is dsetroyed.

val create_window : ?x:int -> ?y:int -> ?width:int -> ?height:int -> unit -> gui_window

val in_new_window : string array -> unit

Code 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 show_about_dialog : unit -> unit

This function displays the traditionnal "about" window.

val on_active_window : (gui_window -> unit) -> unit -> unit

This function and 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

The history associated to the "prompt_command" command.

val prompt_command : gui_window -> unit

This function uses the active window's minibuffer to prompt the user for a command.