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