inherit Ocgtk_gtk__.GEvent_controller_and__layout_child_and__layout_manager_and__root_and__tooltip_and__widget.widget_t
method on_create_window : ?after:bool ->
callback:
(page:
Ocgtk_gtk__.GEvent_controller_and__layout_child_and__layout_manager_and__root_and__tooltip_and__widget.widget_t ->
notebook_t option) ->
unit ->
Gobject.Signal.handler_idmethod on_focus_tab : ?after:bool ->
callback:(object_:Ocgtk_gtk__.Gtk_enums.notebooktab -> bool) ->
unit ->
Gobject.Signal.handler_idmethod on_move_focus_out : ?after:bool ->
callback:(object_:Ocgtk_gtk__.Gtk_enums.directiontype -> unit) ->
unit ->
Gobject.Signal.handler_idmethod on_page_added : ?after:bool ->
callback:
(child:
Ocgtk_gtk__.GEvent_controller_and__layout_child_and__layout_manager_and__root_and__tooltip_and__widget.widget_t ->
page_num:int ->
unit) ->
unit ->
Gobject.Signal.handler_idmethod on_page_removed : ?after:bool ->
callback:
(child:
Ocgtk_gtk__.GEvent_controller_and__layout_child_and__layout_manager_and__root_and__tooltip_and__widget.widget_t ->
page_num:int ->
unit) ->
unit ->
Gobject.Signal.handler_idmethod on_page_reordered : ?after:bool ->
callback:
(child:
Ocgtk_gtk__.GEvent_controller_and__layout_child_and__layout_manager_and__root_and__tooltip_and__widget.widget_t ->
page_num:int ->
unit) ->
unit ->
Gobject.Signal.handler_idmethod on_reorder_tab : ?after:bool ->
callback:(object_:Ocgtk_gtk__.Gtk_enums.directiontype -> p0:bool -> bool) ->
unit ->
Gobject.Signal.handler_idmethod on_switch_page : ?after:bool ->
callback:
(page:
Ocgtk_gtk__.GEvent_controller_and__layout_child_and__layout_manager_and__root_and__tooltip_and__widget.widget_t ->
page_num:int ->
unit) ->
unit ->
Gobject.Signal.handler_idmethod append_page : Ocgtk_gtk__.GEvent_controller_and__layout_child_and__layout_manager_and__root_and__tooltip_and__widget.widget_t ->
Ocgtk_gtk__.GEvent_controller_and__layout_child_and__layout_manager_and__root_and__tooltip_and__widget.widget_t
option ->
intmethod detach_tab : Ocgtk_gtk__.GEvent_controller_and__layout_child_and__layout_manager_and__root_and__tooltip_and__widget.widget_t ->
unitmethod get_current_page : unit -> intmethod get_group_name : unit -> string optionmethod get_n_pages : unit -> intmethod get_nth_page : int ->
Ocgtk_gtk__.GEvent_controller_and__layout_child_and__layout_manager_and__root_and__tooltip_and__widget.widget_t
optionmethod get_page : Ocgtk_gtk__.GEvent_controller_and__layout_child_and__layout_manager_and__root_and__tooltip_and__widget.widget_t ->
Ocgtk_gtk__.GNotebook_page.notebook_page_tmethod get_pages : unit -> Ocgtk_gio.Gio.List_model.list_model_tmethod get_show_border : unit -> boolmethod get_show_tabs : unit -> boolmethod get_tab_detachable : Ocgtk_gtk__.GEvent_controller_and__layout_child_and__layout_manager_and__root_and__tooltip_and__widget.widget_t ->
boolmethod get_tab_label : Ocgtk_gtk__.GEvent_controller_and__layout_child_and__layout_manager_and__root_and__tooltip_and__widget.widget_t ->
Ocgtk_gtk__.GEvent_controller_and__layout_child_and__layout_manager_and__root_and__tooltip_and__widget.widget_t
optionmethod get_tab_label_text : Ocgtk_gtk__.GEvent_controller_and__layout_child_and__layout_manager_and__root_and__tooltip_and__widget.widget_t ->
string optionmethod get_tab_pos : unit -> Ocgtk_gtk__.Gtk_enums.positiontypemethod get_tab_reorderable : Ocgtk_gtk__.GEvent_controller_and__layout_child_and__layout_manager_and__root_and__tooltip_and__widget.widget_t ->
boolmethod insert_page : Ocgtk_gtk__.GEvent_controller_and__layout_child_and__layout_manager_and__root_and__tooltip_and__widget.widget_t ->
Ocgtk_gtk__.GEvent_controller_and__layout_child_and__layout_manager_and__root_and__tooltip_and__widget.widget_t
option ->
int ->
intmethod next_page : unit -> unitmethod page_num : Ocgtk_gtk__.GEvent_controller_and__layout_child_and__layout_manager_and__root_and__tooltip_and__widget.widget_t ->
intmethod prepend_page : Ocgtk_gtk__.GEvent_controller_and__layout_child_and__layout_manager_and__root_and__tooltip_and__widget.widget_t ->
Ocgtk_gtk__.GEvent_controller_and__layout_child_and__layout_manager_and__root_and__tooltip_and__widget.widget_t
option ->
intmethod prev_page : unit -> unitmethod remove_page : int -> unitmethod reorder_child : Ocgtk_gtk__.GEvent_controller_and__layout_child_and__layout_manager_and__root_and__tooltip_and__widget.widget_t ->
int ->
unitmethod set_current_page : int -> unitmethod set_group_name : string option -> unitmethod set_show_border : bool -> unitmethod set_show_tabs : bool -> unitmethod set_tab_detachable : Ocgtk_gtk__.GEvent_controller_and__layout_child_and__layout_manager_and__root_and__tooltip_and__widget.widget_t ->
bool ->
unitmethod set_tab_label : Ocgtk_gtk__.GEvent_controller_and__layout_child_and__layout_manager_and__root_and__tooltip_and__widget.widget_t ->
Ocgtk_gtk__.GEvent_controller_and__layout_child_and__layout_manager_and__root_and__tooltip_and__widget.widget_t
option ->
unitmethod set_tab_label_text : Ocgtk_gtk__.GEvent_controller_and__layout_child_and__layout_manager_and__root_and__tooltip_and__widget.widget_t ->
string ->
unitmethod set_tab_pos : Ocgtk_gtk__.Gtk_enums.positiontype -> unitmethod set_tab_reorderable : Ocgtk_gtk__.GEvent_controller_and__layout_child_and__layout_manager_and__root_and__tooltip_and__widget.widget_t ->
bool ->
unitmethod as_notebook : Ocgtk_gtk__.Notebook.t