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