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