?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