Class Ed_gui.gui_window


class gui_window : ?x:int -> ?y:int -> ?width:int -> ?height:int -> unit -> object .. end

val mutable active_view : Ed_view.gui_view option
val mutable contents : [ `Notebook of gui_notebook
| `Paned of gui_paned
| `View of Ed_view.gui_view ] option
val hbox_state : GPack.box
val hboxmenus : GPack.box
val item_log_window : GMenu.image_menu_item
val item_reload : GMenu.image_menu_item
val item_save : GMenu.image_menu_item
val item_save_as : GMenu.image_menu_item
val main : GWindow.window
val menuEdit : GMenu.menu_item
val toplevel : GWindow.window
val vbox : GPack.box
val viewmenubar : GMenu.menu_shell
val wl_keystate : GEdit.entry
method active_view : Ed_view.gui_view option
method add_view : Ed_view.gui_view -> unit
method add_view_in_active_view_container : Ed_view.gui_view -> unit
method ask_open_file : unit
method bind : name:string -> callback:(unit -> unit) -> unit
method check_widgets : unit -> unit
method close : unit
method contains_view : Ed_view.gui_view -> bool
method contents : [ `Notebook of gui_notebook
| `Paned of gui_paned
| `View of Ed_view.gui_view ] option
method copy : unit
method cut : unit
method cycle_tab : bool -> unit
method cycle_view : unit
method destroy_active_view : unit
method display_keyhit_state : after_handler:bool -> Okey.keyhit_state -> unit
method error_message : string -> unit
method get_active_view_container : [ `Notebook of gui_notebook
| `Paned of gui_paned
| `Window of gui_window ] option
method hbox_state : GPack.box
method hboxmenus : GPack.box
method height : int
method item_log_window : GMenu.image_menu_item
method item_reload : GMenu.image_menu_item
method item_save : GMenu.image_menu_item
method item_save_as : GMenu.image_menu_item
method main : GWindow.window
method menuEdit : GMenu.menu_item
method menuitem11_menu : GMenu.menu
method menuitem4_menu : GMenu.menu
method menuitem6_menu : GMenu.menu
method minibuffer : Ed_minibuffer.minibuffer
method new_tab : unit
method on_about : unit -> unit
method on_close : unit -> unit
method on_destroy_active_view : unit -> unit
method on_minibuffer_active_change : bool -> unit
method on_new_tab : unit -> unit
method on_new_window : unit -> unit
method on_open_file : unit -> unit
method on_split_active_view : [ `HORIZONTAL | `VERTICAL ] -> unit -> unit
method on_store_layout : unit -> unit
method private on_view_destroy : unit -> unit
method open_file : ?attributes:(string * string) list -> string -> unit
method paste : unit
method print_key_bindings : unit
method reload_active_view : unit
method reparent : GObj.widget -> unit
method save_active_view : unit
method save_active_view_as : unit
method set_action_message : string -> unit
method set_active_view : Ed_view.gui_view option -> unit
method set_contents : [ `Notebook of gui_notebook
| `Paned of gui_paned
| `View of Ed_view.gui_view ] option -> unit
method set_state_message : string -> unit
method set_title : string -> unit
method set_view_interface : Ed_view.gui_view option -> unit
method split_active_view : Gtk.Tags.orientation -> unit
method toplevel : GWindow.window
method vbox : GPack.box
method viewmenubar : GMenu.menu_shell
method widget_opt_of_contents_opt : [ `Notebook of gui_notebook
| `Paned of gui_paned
| `View of Ed_view.gui_view ] option -> GObj.widget option
method width : int
method window : GWindow.window
method wl_keystate : GEdit.entry
method x : int
method xml : Glade.glade_xml Gtk.obj
method y : int