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