Class Ed_gui.gui_paned


class gui_paned : Ed_view.topwin -> Gtk.Tags.orientation -> unit -> object .. end

val mutable child1 : [ `Notebook of gui_notebook
| `Paned of gui_paned
| `View of Ed_view.gui_view ] option
val mutable child2 : [ `Notebook of gui_notebook
| `Paned of gui_paned
| `View of Ed_view.gui_view ] option
val mutable label : string
val mutable on_destroy : [ `Notebook of gui_notebook
| `Paned of 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 gui_notebook
| `Paned of gui_paned
| `View of Ed_view.gui_view ] option
method child2 : [ `Notebook of gui_notebook
| `Paned of gui_paned
| `View of Ed_view.gui_view ] option
method find_view_container : Ed_view.gui_view ->
[ `Notebook of gui_notebook
| `Paned of gui_paned
| `Window of gui_window ] option
method grab_focus : unit
method label : string
method new_tab : [ `Notebook of gui_notebook
| `Paned of gui_paned
| `View of Ed_view.gui_view ] -> unit
method on_child_destroy : int ->
[ `Notebook of gui_notebook
| `Paned of 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 gui_notebook
| `Paned of 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 gui_notebook
| `Paned of gui_paned
| `View of Ed_view.gui_view ] -> unit
method set_position : int -> unit
method split_active_view : Gtk.Tags.orientation -> unit