Class Ed_gui.gui_notebook


class gui_notebook : Ed_view.topwin -> unit -> object .. end

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
val mutable tabs : (GMisc.label *
[ `Notebook of gui_notebook
| `Paned of gui_paned
| `View of Ed_view.gui_view ])
list
method add_tab : int option ->
[ `Notebook of gui_notebook
| `Paned of 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 gui_notebook
| `Paned of gui_paned
| `Window of 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 gui_notebook
| `Paned of gui_paned
| `View of Ed_view.gui_view ] ->
[ `Notebook of gui_notebook
| `Paned of 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 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_tab_label : [ `Notebook of gui_notebook
| `Paned of gui_paned
| `View of Ed_view.gui_view ] -> string -> unit
method split_active_view : Gtk.Tags.orientation -> unit
method tab_of_contents : [ `Notebook of gui_notebook
| `Paned of gui_paned
| `View of Ed_view.gui_view ] -> int option
method tabs : (GMisc.label *
[ `Notebook of gui_notebook
| `Paned of gui_paned
| `View of Ed_view.gui_view ])
list