sig
  val window_pixbuf : GdkPixbuf.pixbuf option
  class gui_window :
    ?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
  and gui_paned :
    Ed_view.topwin ->
    Gtk.Tags.orientation ->
    unit ->
    object
      val mutable child1 :
        [ `Notebook of Ed_gui.gui_notebook
        | `Paned of Ed_gui.gui_paned
        | `View of Ed_view.gui_view ] option
      val mutable child2 :
        [ `Notebook of Ed_gui.gui_notebook
        | `Paned of Ed_gui.gui_paned
        | `View of Ed_view.gui_view ] option
      val mutable label : string
      val mutable on_destroy :
        [ `Notebook of Ed_gui.gui_notebook
        | `Paned of Ed_gui.gui_paned
        | `View of Ed_view.gui_view ] option -> unit
      val mutable on_label_change : string -> unit
      method add_view : Ed_view.gui_view -> unit
      method child1 :
        [ `Notebook of Ed_gui.gui_notebook
        | `Paned of Ed_gui.gui_paned
        | `View of Ed_view.gui_view ] option
      method child2 :
        [ `Notebook of Ed_gui.gui_notebook
        | `Paned of Ed_gui.gui_paned
        | `View of Ed_view.gui_view ] option
      method find_view_container :
        Ed_view.gui_view ->
        [ `Notebook of Ed_gui.gui_notebook
        | `Paned of Ed_gui.gui_paned
        | `Window of Ed_gui.gui_window ] option
      method grab_focus : unit
      method label : string
      method new_tab :
        [ `Notebook of Ed_gui.gui_notebook
        | `Paned of Ed_gui.gui_paned
        | `View of Ed_view.gui_view ] -> unit
      method on_child_destroy :
        int ->
        [ `Notebook of Ed_gui.gui_notebook
        | `Paned of Ed_gui.gui_paned
        | `View of Ed_view.gui_view ] option -> unit
      method on_child_label_change : unit
      method on_child_view_destroy : int -> unit
      method orientation : Gtk.Tags.orientation
      method paned : GPack.paned
      method position : int
      method set_children_views :
        Ed_view.gui_view -> Ed_view.gui_view -> unit
      method set_label : string -> unit
      method set_on_destroy :
        ([ `Notebook of Ed_gui.gui_notebook
         | `Paned of Ed_gui.gui_paned
         | `View of Ed_view.gui_view ] option -> unit) ->
        unit
      method set_on_label_change : (string -> unit) -> unit
      method set_one_child :
        int ->
        [ `Notebook of Ed_gui.gui_notebook
        | `Paned of Ed_gui.gui_paned
        | `View of Ed_view.gui_view ] -> unit
      method set_position : int -> unit
      method split_active_view : Gtk.Tags.orientation -> unit
    end
  and gui_notebook :
    Ed_view.topwin ->
    unit ->
    object
      val mutable label : string
      val mutable on_destroy :
        [ `Notebook of Ed_gui.gui_notebook
        | `Paned of Ed_gui.gui_paned
        | `View of Ed_view.gui_view ] option -> unit
      val mutable on_label_change : string -> unit
      val mutable tabs :
        (GMisc.label *
         [ `Notebook of Ed_gui.gui_notebook
         | `Paned of Ed_gui.gui_paned
         | `View of Ed_view.gui_view ])
        list
      method add_tab :
        int option ->
        [ `Notebook of Ed_gui.gui_notebook
        | `Paned of Ed_gui.gui_paned
        | `View of Ed_view.gui_view ] -> unit
      method add_view : Ed_view.gui_view -> unit
      method cycle_tab : bool -> unit
      method destroy : unit
      method find_view_container :
        Ed_view.gui_view ->
        [ `Notebook of Ed_gui.gui_notebook
        | `Paned of Ed_gui.gui_paned
        | `Window of Ed_gui.gui_window ] option
      method goto_page : int -> unit
      method grab_focus : unit
      method label : string
      method notebook : GPack.notebook
      method on_switch_page : int -> unit
      method on_tab_destroy :
        [ `Notebook of Ed_gui.gui_notebook
        | `Paned of Ed_gui.gui_paned
        | `View of Ed_view.gui_view ] ->
        [ `Notebook of Ed_gui.gui_notebook
        | `Paned of Ed_gui.gui_paned
        | `View of Ed_view.gui_view ] option -> unit
      method on_view_destroy : Ed_view.gui_view -> unit -> unit
      method set_label : string -> unit
      method set_on_destroy :
        ([ `Notebook of Ed_gui.gui_notebook
         | `Paned of Ed_gui.gui_paned
         | `View of Ed_view.gui_view ] option -> unit) ->
        unit
      method set_on_label_change : (string -> unit) -> unit
      method set_tab_label :
        [ `Notebook of Ed_gui.gui_notebook
        | `Paned of Ed_gui.gui_paned
        | `View of Ed_view.gui_view ] -> string -> unit
      method split_active_view : Gtk.Tags.orientation -> unit
      method tab_of_contents :
        [ `Notebook of Ed_gui.gui_notebook
        | `Paned of Ed_gui.gui_paned
        | `View of Ed_view.gui_view ] -> int option
      method tabs :
        (GMisc.label *
         [ `Notebook of Ed_gui.gui_notebook
         | `Paned of Ed_gui.gui_paned
         | `View of Ed_view.gui_view ])
        list
    end
  val init_view : Ed_view.topwin -> Ed_view.gui_view -> unit
  type gui_windows = Ed_gui.gui_window list
  val gui_windows : Ed_gui.gui_windows Pervasives.ref
  val active_window : Ed_gui.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 -> Ed_gui.gui_window
  val in_new_window : string array -> unit
  val show_about_dialog : unit -> unit
  val on_active_window : (Ed_gui.gui_window -> unit) -> unit -> unit
  val on_active_window_args :
    (Ed_gui.gui_window -> string array -> unit) -> string array -> unit
  val prompt_command_history : Ed_minibuffer.minibuffer_history
  val prompt_command : Ed_gui.gui_window -> unit
end