?x:int ->
?y:int ->
?width:int ->
?height:int ->
unit ->
object
val mutable active_view : Ed_view.gui_view option
val mutable contents :
[ `Notebook of Ed_gui.gui_notebook
| `Paned of Ed_gui.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 Ed_gui.gui_notebook
| `Paned of Ed_gui.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 Ed_gui.gui_notebook
| `Paned of Ed_gui.gui_paned
| `Window of Ed_gui.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 Ed_gui.gui_notebook
| `Paned of Ed_gui.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 Ed_gui.gui_notebook
| `Paned of Ed_gui.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
end