package ocgtk

  1. Overview
  2. Docs
OCaml bindings for GTK 4

Install 

dune-project
 Dependency

github.com Edit opam file Versions (2)

Authors

  1. C
    Chris Armstrong

Maintainers

  1. H
    hello@chrisarmstrong.dev

Sources

v0.1-preview2.tar.gz
sha256=4e50fdb5093136a10fc8ffbe388e44cbcb70d52f8afdd48863ec7e22580ff054

doc/ocgtk.gtk/Ocgtk_gtk/Gtk/Notebook/class-notebook/index.html

Class Notebook.notebook

inherit Ocgtk_gtk__.GEvent_controller_and__layout_child_and__layout_manager_and__root_and__tooltip_and__widget.widget_t
method on_change_current_page : ?after:bool -> callback:(object_:int -> bool) -> unit -> Gobject.Signal.handler_id
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_id
method on_focus_tab : ?after:bool -> callback:(object_:Ocgtk_gtk__.Gtk_enums.notebooktab -> bool) -> unit -> Gobject.Signal.handler_id
method on_move_focus_out : ?after:bool -> callback:(object_:Ocgtk_gtk__.Gtk_enums.directiontype -> unit) -> unit -> Gobject.Signal.handler_id
method 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_id
method 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_id
method 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_id
method on_reorder_tab : ?after:bool -> callback:(object_:Ocgtk_gtk__.Gtk_enums.directiontype -> p0:bool -> bool) -> unit -> Gobject.Signal.handler_id
method on_select_page : ?after:bool -> callback:(object_:bool -> bool) -> unit -> Gobject.Signal.handler_id
method 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_id
method 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 -> int
method append_page_menu : 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 -> Ocgtk_gtk__.GEvent_controller_and__layout_child_and__layout_manager_and__root_and__tooltip_and__widget.widget_t option -> int
method detach_tab : Ocgtk_gtk__.GEvent_controller_and__layout_child_and__layout_manager_and__root_and__tooltip_and__widget.widget_t -> unit
method get_action_widget : Ocgtk_gtk__.Gtk_enums.packtype -> Ocgtk_gtk__.GEvent_controller_and__layout_child_and__layout_manager_and__root_and__tooltip_and__widget.widget_t option
method get_current_page : unit -> int
method get_group_name : unit -> string option
method get_menu_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
method get_menu_label_text : Ocgtk_gtk__.GEvent_controller_and__layout_child_and__layout_manager_and__root_and__tooltip_and__widget.widget_t -> string option
method get_n_pages : unit -> int
method get_nth_page : int -> Ocgtk_gtk__.GEvent_controller_and__layout_child_and__layout_manager_and__root_and__tooltip_and__widget.widget_t option
method 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_t
method get_pages : unit -> Ocgtk_gio.Gio.List_model.list_model_t
method get_scrollable : unit -> bool
method get_show_border : unit -> bool
method get_show_tabs : unit -> bool
method get_tab_detachable : Ocgtk_gtk__.GEvent_controller_and__layout_child_and__layout_manager_and__root_and__tooltip_and__widget.widget_t -> bool
method 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 option
method get_tab_label_text : Ocgtk_gtk__.GEvent_controller_and__layout_child_and__layout_manager_and__root_and__tooltip_and__widget.widget_t -> string option
method get_tab_pos : unit -> Ocgtk_gtk__.Gtk_enums.positiontype
method get_tab_reorderable : Ocgtk_gtk__.GEvent_controller_and__layout_child_and__layout_manager_and__root_and__tooltip_and__widget.widget_t -> bool
method 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 -> int
method insert_page_menu : 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 -> Ocgtk_gtk__.GEvent_controller_and__layout_child_and__layout_manager_and__root_and__tooltip_and__widget.widget_t option -> int -> int
method next_page : unit -> unit
method page_num : Ocgtk_gtk__.GEvent_controller_and__layout_child_and__layout_manager_and__root_and__tooltip_and__widget.widget_t -> int
method popup_disable : unit -> unit
method popup_enable : unit -> unit
method 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 -> int
method prepend_page_menu : 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 -> Ocgtk_gtk__.GEvent_controller_and__layout_child_and__layout_manager_and__root_and__tooltip_and__widget.widget_t option -> int
method prev_page : unit -> unit
method remove_page : int -> unit
method reorder_child : Ocgtk_gtk__.GEvent_controller_and__layout_child_and__layout_manager_and__root_and__tooltip_and__widget.widget_t -> int -> unit
method set_action_widget : Ocgtk_gtk__.GEvent_controller_and__layout_child_and__layout_manager_and__root_and__tooltip_and__widget.widget_t -> Ocgtk_gtk__.Gtk_enums.packtype -> unit
method set_current_page : int -> unit
method set_group_name : string option -> unit
method set_menu_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 -> unit
method set_menu_label_text : Ocgtk_gtk__.GEvent_controller_and__layout_child_and__layout_manager_and__root_and__tooltip_and__widget.widget_t -> string -> unit
method set_scrollable : bool -> unit
method set_show_border : bool -> unit
method set_show_tabs : bool -> unit
method set_tab_detachable : Ocgtk_gtk__.GEvent_controller_and__layout_child_and__layout_manager_and__root_and__tooltip_and__widget.widget_t -> bool -> unit
method 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 -> unit
method set_tab_label_text : Ocgtk_gtk__.GEvent_controller_and__layout_child_and__layout_manager_and__root_and__tooltip_and__widget.widget_t -> string -> unit
method set_tab_pos : Ocgtk_gtk__.Gtk_enums.positiontype -> unit
method set_tab_reorderable : Ocgtk_gtk__.GEvent_controller_and__layout_child_and__layout_manager_and__root_and__tooltip_and__widget.widget_t -> bool -> unit
method enable_popup : bool
method set_enable_popup : bool -> unit
method as_notebook : Ocgtk_gtk__.Notebook.t