Gtk.notebook Gtk.obj ->
object
  val obj : Gtk.notebook Gtk.obj
  method add : GObj.widget -> unit
  method all_children : GObj.widget list
  method append_page :
    ?tab_label:GObj.widget -> ?menu_label:GObj.widget -> GObj.widget -> int
  method as_widget : Gtk.widget Gtk.obj
  method border_width : int
  method children : GObj.widget list
  method coerce : GObj.widget
  method connect : GPack.notebook_signals
  method current_page : int
  method destroy : unit -> unit
  method drag : GObj.drag_ops
  method enable_popup : bool
  method event : GObj.event_ops
  method focus : GContainer.focus
  method get_menu_label : GObj.widget -> GObj.widget
  method get_nth_page : int -> GObj.widget
  method get_oid : int
  method get_tab_label : GObj.widget -> GObj.widget
  method goto_page : int -> unit
  method homogeneous_tabs : bool
  method insert_page :
    ?tab_label:GObj.widget ->
    ?menu_label:GObj.widget -> ?pos:int -> GObj.widget -> int
  method misc : GObj.misc_ops
  method next_page : unit -> unit
  method page_num : GObj.widget -> int
  method prepend_page :
    ?tab_label:GObj.widget -> ?menu_label:GObj.widget -> GObj.widget -> int
  method previous_page : unit -> unit
  method remove : GObj.widget -> unit
  method remove_page : int -> unit
  method resize_mode : Gtk.Tags.resize_mode
  method scrollable : bool
  method set_border_width : int -> unit
  method set_enable_popup : bool -> unit
  method set_homogeneous_tabs : bool -> unit
  method set_page :
    ?tab_label:GObj.widget -> ?menu_label:GObj.widget -> GObj.widget -> unit
  method set_resize_mode : Gtk.Tags.resize_mode -> unit
  method set_scrollable : bool -> unit
  method set_show_border : bool -> unit
  method set_show_tabs : bool -> unit
  method set_tab_border : int -> unit
  method set_tab_hborder : int -> unit
  method set_tab_pos : Gtk.Tags.position -> unit
  method set_tab_vborder : int -> unit
  method show_border : bool
  method show_tabs : bool
  method tab_hborder : int
  method tab_pos : GtkEnums.position_type
  method tab_vborder : int
end