package lablgtk3

  1. Overview
  2. Docs
package lablgtk3
Legend:
Library
Module
Module type
Parameter
Class
Class type
method add : callback:(GObj.widget -> unit) -> GtkSignal.id
method after : < add : callback:(GObj.widget -> unit) -> GtkSignal.id ; after : 'a ; change_current_page : callback:(int -> unit) -> GtkSignal.id ; create_window : callback:(page:GObj.widget -> x:int -> y:int -> unit) -> GtkSignal.id ; destroy : callback:(unit -> unit) -> GtkSignal.id ; move_focus_out : callback:(GtkEnums.direction_type -> unit) -> GtkSignal.id ; notify_border_width : callback:(int -> unit) -> GtkSignal.id ; notify_enable_popup : callback:(bool -> unit) -> GtkSignal.id ; notify_group_name : callback:(string -> unit) -> GtkSignal.id ; notify_resize_mode : callback:(GtkEnums.resize_mode -> unit) -> GtkSignal.id ; notify_scrollable : callback:(bool -> unit) -> GtkSignal.id ; notify_show_border : callback:(bool -> unit) -> GtkSignal.id ; notify_show_tabs : callback:(bool -> unit) -> GtkSignal.id ; notify_tab_pos : callback:(GtkEnums.position_type -> unit) -> GtkSignal.id ; page_added : callback:(GObj.widget -> int -> unit) -> GtkSignal.id ; page_removed : callback:(GObj.widget -> int -> unit) -> GtkSignal.id ; page_reordered : callback:(GObj.widget -> int -> unit) -> GtkSignal.id ; remove : callback:(GObj.widget -> unit) -> GtkSignal.id ; reorder_tab : callback:(GtkEnums.direction_type -> bool -> unit) -> GtkSignal.id ; select_page : callback:(bool -> unit) -> GtkSignal.id ; switch_page : callback:(int -> unit) -> GtkSignal.id.. > as 'a
method change_current_page : callback:(int -> unit) -> GtkSignal.id
method create_window : callback:(page:GObj.widget -> x:int -> y:int -> unit) -> GtkSignal.id
method destroy : callback:(unit -> unit) -> GtkSignal.id
method move_focus_out : callback:(GtkEnums.direction_type -> unit) -> GtkSignal.id
method notify_border_width : callback:(int -> unit) -> GtkSignal.id
method notify_enable_popup : callback:(bool -> unit) -> GtkSignal.id
method notify_group_name : callback:(string -> unit) -> GtkSignal.id
method notify_resize_mode : callback:(GtkEnums.resize_mode -> unit) -> GtkSignal.id
method notify_scrollable : callback:(bool -> unit) -> GtkSignal.id
method notify_show_border : callback:(bool -> unit) -> GtkSignal.id
method notify_show_tabs : callback:(bool -> unit) -> GtkSignal.id
method notify_tab_pos : callback:(GtkEnums.position_type -> unit) -> GtkSignal.id
method page_added : callback:(GObj.widget -> int -> unit) -> GtkSignal.id
method page_removed : callback:(GObj.widget -> int -> unit) -> GtkSignal.id
method page_reordered : callback:(GObj.widget -> int -> unit) -> GtkSignal.id
method remove : callback:(GObj.widget -> unit) -> GtkSignal.id
method reorder_tab : callback:(GtkEnums.direction_type -> bool -> unit) -> GtkSignal.id
method select_page : callback:(bool -> unit) -> GtkSignal.id
method switch_page : callback:(int -> unit) -> GtkSignal.id