sig
val separator :
Gtk.Tags.orientation ->
?packing:(GObj.widget -> unit) -> ?show:bool -> unit -> GObj.widget_full
class statusbar_context :
Gtk.statusbar Gtk.obj ->
Gtk.statusbar_context ->
object
val context : Gtk.statusbar_context
val obj : Gtk.statusbar Gtk.obj
method context : Gtk.statusbar_context
method flash : ?delay:int -> string -> unit
method pop : unit -> unit
method push : string -> Gtk.statusbar_message
method remove : Gtk.statusbar_message -> unit
end
class statusbar :
Gtk.statusbar Gtk.obj ->
object
val obj : Gtk.statusbar Gtk.obj
method add : GObj.widget -> unit
method all_children : GObj.widget list
method app_paintable : bool
method as_widget : Gtk.widget Gtk.obj
method border_width : int
method can_default : bool
method can_focus : bool
method children : GObj.widget list
method coerce : GObj.widget
method composite_child : bool
method connect : GContainer.container_signals
method destroy : unit -> unit
method drag : GObj.drag_ops
method events : GdkEnums.event_mask list
method expand : bool
method focus : GContainer.focus
method focus_on_click : bool
method get_oid : int
method halign : GtkEnums.align
method has_default : bool
method has_focus : bool
method has_tooltip : bool
method height_request : int
method hexpand : bool
method hexpand_set : bool
method homogeneous : bool
method is_focus : bool
method margin : int
method margin_bottom : int
method margin_end : int
method margin_left : int
method margin_right : int
method margin_start : int
method margin_top : int
method misc : GObj.misc_ops
method name : string
method new_context : name:string -> GMisc.statusbar_context
method no_show_all : bool
method opacity : float
method orientation : Gtk.Tags.orientation
method pack :
?from:Gtk.Tags.pack_type ->
?expand:bool -> ?fill:bool -> ?padding:int -> GObj.widget -> unit
method parent : Gtk.container Gtk.obj option
method receives_default : bool
method remove : GObj.widget -> unit
method reorder_child : GObj.widget -> pos:int -> unit
method resize_mode : Gtk.Tags.resize_mode
method scale_factor : int
method sensitive : bool
method set_app_paintable : bool -> unit
method set_border_width : int -> unit
method set_can_default : bool -> unit
method set_can_focus : bool -> unit
method set_child_packing :
?from:Gtk.Tags.pack_type ->
?expand:bool -> ?fill:bool -> ?padding:int -> GObj.widget -> unit
method set_events : GdkEnums.event_mask list -> unit
method set_expand : bool -> unit
method set_focus_on_click : bool -> unit
method set_halign : GtkEnums.align -> unit
method set_has_default : bool -> unit
method set_has_focus : bool -> unit
method set_has_tooltip : bool -> unit
method set_height_request : int -> unit
method set_hexpand : bool -> unit
method set_hexpand_set : bool -> unit
method set_homogeneous : bool -> unit
method set_is_focus : bool -> unit
method set_margin : int -> unit
method set_margin_bottom : int -> unit
method set_margin_end : int -> unit
method set_margin_left : int -> unit
method set_margin_right : int -> unit
method set_margin_start : int -> unit
method set_margin_top : int -> unit
method set_name : string -> unit
method set_no_show_all : bool -> unit
method set_opacity : float -> unit
method set_orientation : Gtk.Tags.orientation -> unit
method set_parent : Gtk.container Gtk.obj option -> unit
method set_receives_default : bool -> unit
method set_resize_mode : Gtk.Tags.resize_mode -> unit
method set_sensitive : bool -> unit
method set_spacing : int -> unit
method set_style : Gtk.style -> unit
method set_tooltip_markup : string -> unit
method set_tooltip_text : string -> unit
method set_valign : GtkEnums.align -> unit
method set_vexpand : bool -> unit
method set_vexpand_set : bool -> unit
method set_visible : bool -> unit
method set_width_request : int -> unit
method spacing : int
method style : Gtk.style
method tooltip_markup : string
method tooltip_text : string
method valign : GtkEnums.align
method vexpand : bool
method vexpand_set : bool
method visible : bool
method width_request : int
end
val statusbar :
?border_width:int ->
?width:int ->
?height:int ->
?packing:(GObj.widget -> unit) -> ?show:bool -> unit -> GMisc.statusbar
class status_icon_signals :
Gtk.status_icon Gobject.obj ->
object
method activate : callback:(unit -> unit) -> GtkSignal.id
method notify_screen : callback:(Gdk.screen -> unit) -> GtkSignal.id
method notify_tooltip_markup :
callback:(string -> unit) -> GtkSignal.id
method notify_tooltip_text : callback:(string -> unit) -> GtkSignal.id
method notify_visible : callback:(bool -> unit) -> GtkSignal.id
method popup_menu : callback:(int -> int -> unit) -> GtkSignal.id
method size_changed : callback:(int -> unit) -> GtkSignal.id
end
class status_icon :
Gtk.gtk_status_icon ->
object
val obj : Gtk.status_icon Gobject.obj
method connect : GMisc.status_icon_signals
method get_icon_name : string
method get_pixbuf : GdkPixbuf.pixbuf
method get_size : int
method get_stock : string
method is_embedded : bool
method screen : Gdk.screen
method set_from_file : string -> unit
method set_from_icon_name : string -> unit
method set_from_pixbuf : GdkPixbuf.pixbuf -> unit
method set_from_stock : string -> unit
method set_screen : Gdk.screen -> unit
method set_tooltip_markup : string -> unit
method set_tooltip_text : string -> unit
method set_visible : bool -> unit
method tooltip_markup : string
method tooltip_text : string
method visible : bool
end
val status_icon :
?screen:Gdk.screen ->
?visible:bool ->
?tooltip_markup:string ->
?tooltip_text:string -> unit -> GMisc.status_icon
val status_icon_from_pixbuf :
?screen:Gdk.screen ->
?visible:bool ->
?tooltip_markup:string ->
?tooltip_text:string -> GdkPixbuf.pixbuf -> GMisc.status_icon
val status_icon_from_file :
?screen:Gdk.screen ->
?visible:bool ->
?tooltip_markup:string ->
?tooltip_text:string -> string -> GMisc.status_icon
val status_icon_from_stock :
?screen:Gdk.screen ->
?visible:bool ->
?tooltip_markup:string ->
?tooltip_text:string -> string -> GMisc.status_icon
val status_icon_from_icon_name :
?screen:Gdk.screen ->
?visible:bool ->
?tooltip_markup:string ->
?tooltip_text:string -> string -> GMisc.status_icon
class calendar_signals :
([> Gtk.calendar ] as 'b) Gtk.obj ->
object ('a)
val obj : 'b Gtk.obj
method after : 'a
method day_selected : callback:(unit -> unit) -> GtkSignal.id
method day_selected_double_click :
callback:(unit -> unit) -> GtkSignal.id
method destroy : callback:(unit -> unit) -> GtkSignal.id
method month_changed : callback:(unit -> unit) -> GtkSignal.id
method next_month : callback:(unit -> unit) -> GtkSignal.id
method next_year : callback:(unit -> unit) -> GtkSignal.id
method notify_day : callback:(int -> unit) -> GtkSignal.id
method notify_month : callback:(int -> unit) -> GtkSignal.id
method notify_year : callback:(int -> unit) -> GtkSignal.id
method prev_month : callback:(unit -> unit) -> GtkSignal.id
method prev_year : callback:(unit -> unit) -> GtkSignal.id
end
class calendar :
Gtk.calendar Gtk.obj ->
object
val obj : Gtk.calendar Gtk.obj
method app_paintable : bool
method as_widget : Gtk.widget Gtk.obj
method can_default : bool
method can_focus : bool
method clear_marks : unit
method coerce : GObj.widget
method composite_child : bool
method connect : GMisc.calendar_signals
method date : int * int * int
method day : int
method destroy : unit -> unit
method drag : GObj.drag_ops
method event : GObj.event_ops
method events : GdkEnums.event_mask list
method expand : bool
method focus_on_click : bool
method get_oid : int
method halign : GtkEnums.align
method has_default : bool
method has_focus : bool
method has_tooltip : bool
method height_request : int
method hexpand : bool
method hexpand_set : bool
method is_focus : bool
method margin : int
method margin_bottom : int
method margin_end : int
method margin_left : int
method margin_right : int
method margin_start : int
method margin_top : int
method mark_day : int -> unit
method misc : GObj.misc_ops
method month : int
method name : string
method no_show_all : bool
method opacity : float
method parent : Gtk.container Gtk.obj option
method receives_default : bool
method scale_factor : int
method select_day : int -> unit
method select_month : month:int -> year:int -> unit
method sensitive : bool
method set_app_paintable : bool -> unit
method set_can_default : bool -> unit
method set_can_focus : bool -> unit
method set_day : int -> unit
method set_display_options :
Gtk.Tags.calendar_display_options list -> unit
method set_events : GdkEnums.event_mask list -> unit
method set_expand : bool -> unit
method set_focus_on_click : bool -> unit
method set_halign : GtkEnums.align -> unit
method set_has_default : bool -> unit
method set_has_focus : bool -> unit
method set_has_tooltip : bool -> unit
method set_height_request : int -> unit
method set_hexpand : bool -> unit
method set_hexpand_set : bool -> unit
method set_is_focus : bool -> unit
method set_margin : int -> unit
method set_margin_bottom : int -> unit
method set_margin_end : int -> unit
method set_margin_left : int -> unit
method set_margin_right : int -> unit
method set_margin_start : int -> unit
method set_margin_top : int -> unit
method set_month : int -> unit
method set_name : string -> unit
method set_no_show_all : bool -> unit
method set_opacity : float -> unit
method set_parent : Gtk.container Gtk.obj option -> unit
method set_receives_default : bool -> unit
method set_sensitive : bool -> unit
method set_style : Gtk.style -> unit
method set_tooltip_markup : string -> unit
method set_tooltip_text : string -> unit
method set_valign : GtkEnums.align -> unit
method set_vexpand : bool -> unit
method set_vexpand_set : bool -> unit
method set_visible : bool -> unit
method set_width_request : int -> unit
method set_year : int -> unit
method style : Gtk.style
method tooltip_markup : string
method tooltip_text : string
method unmark_day : int -> unit
method valign : GtkEnums.align
method vexpand : bool
method vexpand_set : bool
method visible : bool
method width_request : int
method year : int
end
val calendar :
?options:Gtk.Tags.calendar_display_options list ->
?packing:(GObj.widget -> unit) -> ?show:bool -> unit -> GMisc.calendar
class drawing_area :
([> Gtk.drawing_area ] as 'a) Gtk.obj ->
object
val obj : 'a Gtk.obj
method app_paintable : bool
method as_widget : Gtk.widget Gtk.obj
method can_default : bool
method can_focus : bool
method coerce : GObj.widget
method composite_child : bool
method connect : GObj.widget_signals
method destroy : unit -> unit
method drag : GObj.drag_ops
method event : GObj.event_ops
method events : GdkEnums.event_mask list
method expand : bool
method focus_on_click : bool
method get_oid : int
method halign : GtkEnums.align
method has_default : bool
method has_focus : bool
method has_tooltip : bool
method height_request : int
method hexpand : bool
method hexpand_set : bool
method is_focus : bool
method margin : int
method margin_bottom : int
method margin_end : int
method margin_left : int
method margin_right : int
method margin_start : int
method margin_top : int
method misc : GObj.misc_ops
method name : string
method no_show_all : bool
method opacity : float
method parent : Gtk.container Gtk.obj option
method receives_default : bool
method scale_factor : int
method sensitive : bool
method set_app_paintable : bool -> unit
method set_can_default : bool -> unit
method set_can_focus : bool -> unit
method set_events : GdkEnums.event_mask list -> unit
method set_expand : bool -> unit
method set_focus_on_click : bool -> unit
method set_halign : GtkEnums.align -> unit
method set_has_default : bool -> unit
method set_has_focus : bool -> unit
method set_has_tooltip : bool -> unit
method set_height_request : int -> unit
method set_hexpand : bool -> unit
method set_hexpand_set : bool -> unit
method set_is_focus : bool -> unit
method set_margin : int -> unit
method set_margin_bottom : int -> unit
method set_margin_end : int -> unit
method set_margin_left : int -> unit
method set_margin_right : int -> unit
method set_margin_start : int -> unit
method set_margin_top : int -> unit
method set_name : string -> unit
method set_no_show_all : bool -> unit
method set_opacity : float -> unit
method set_parent : Gtk.container Gtk.obj option -> unit
method set_receives_default : bool -> unit
method set_sensitive : bool -> unit
method set_style : Gtk.style -> unit
method set_tooltip_markup : string -> unit
method set_tooltip_text : string -> unit
method set_valign : GtkEnums.align -> unit
method set_vexpand : bool -> unit
method set_vexpand_set : bool -> unit
method set_visible : bool -> unit
method set_width_request : int -> unit
method style : Gtk.style
method tooltip_markup : string
method tooltip_text : string
method valign : GtkEnums.align
method vexpand : bool
method vexpand_set : bool
method visible : bool
method width_request : int
end
val drawing_area :
?packing:(GObj.widget -> unit) ->
?show:bool -> unit -> GMisc.drawing_area
class misc :
([> Gtk.misc ] as 'a) Gtk.obj ->
object
val obj : 'a Gtk.obj
method app_paintable : bool
method as_widget : Gtk.widget Gtk.obj
method can_default : bool
method can_focus : bool
method coerce : GObj.widget
method composite_child : bool
method destroy : unit -> unit
method drag : GObj.drag_ops
method events : GdkEnums.event_mask list
method expand : bool
method focus_on_click : bool
method get_oid : int
method halign : GtkEnums.align
method has_default : bool
method has_focus : bool
method has_tooltip : bool
method height_request : int
method hexpand : bool
method hexpand_set : bool
method is_focus : bool
method margin : int
method margin_bottom : int
method margin_end : int
method margin_left : int
method margin_right : int
method margin_start : int
method margin_top : int
method misc : GObj.misc_ops
method name : string
method no_show_all : bool
method opacity : float
method parent : Gtk.container Gtk.obj option
method receives_default : bool
method scale_factor : int
method sensitive : bool
method set_app_paintable : bool -> unit
method set_can_default : bool -> unit
method set_can_focus : bool -> unit
method set_events : GdkEnums.event_mask list -> unit
method set_expand : bool -> unit
method set_focus_on_click : bool -> unit
method set_halign : GtkEnums.align -> unit
method set_has_default : bool -> unit
method set_has_focus : bool -> unit
method set_has_tooltip : bool -> unit
method set_height_request : int -> unit
method set_hexpand : bool -> unit
method set_hexpand_set : bool -> unit
method set_is_focus : bool -> unit
method set_margin : int -> unit
method set_margin_bottom : int -> unit
method set_margin_end : int -> unit
method set_margin_left : int -> unit
method set_margin_right : int -> unit
method set_margin_start : int -> unit
method set_margin_top : int -> unit
method set_name : string -> unit
method set_no_show_all : bool -> unit
method set_opacity : float -> unit
method set_parent : Gtk.container Gtk.obj option -> unit
method set_receives_default : bool -> unit
method set_sensitive : bool -> unit
method set_style : Gtk.style -> unit
method set_tooltip_markup : string -> unit
method set_tooltip_text : string -> unit
method set_valign : GtkEnums.align -> unit
method set_vexpand : bool -> unit
method set_vexpand_set : bool -> unit
method set_visible : bool -> unit
method set_width_request : int -> unit
method set_xalign : float -> unit
method set_xpad : int -> unit
method set_yalign : float -> unit
method set_ypad : int -> unit
method style : Gtk.style
method tooltip_markup : string
method tooltip_text : string
method valign : GtkEnums.align
method vexpand : bool
method vexpand_set : bool
method visible : bool
method width_request : int
method xalign : float
method xpad : int
method yalign : float
method ypad : int
end
class arrow :
([> Gtk.arrow ] as 'a) Gtk.obj ->
object
val obj : 'a Gtk.obj
method app_paintable : bool
method as_widget : Gtk.widget Gtk.obj
method can_default : bool
method can_focus : bool
method coerce : GObj.widget
method composite_child : bool
method destroy : unit -> unit
method drag : GObj.drag_ops
method events : GdkEnums.event_mask list
method expand : bool
method focus_on_click : bool
method get_oid : int
method halign : GtkEnums.align
method has_default : bool
method has_focus : bool
method has_tooltip : bool
method height_request : int
method hexpand : bool
method hexpand_set : bool
method is_focus : bool
method kind : Gtk.Tags.arrow_type
method margin : int
method margin_bottom : int
method margin_end : int
method margin_left : int
method margin_right : int
method margin_start : int
method margin_top : int
method misc : GObj.misc_ops
method name : string
method no_show_all : bool
method opacity : float
method parent : Gtk.container Gtk.obj option
method receives_default : bool
method scale_factor : int
method sensitive : bool
method set_app_paintable : bool -> unit
method set_can_default : bool -> unit
method set_can_focus : bool -> unit
method set_events : GdkEnums.event_mask list -> unit
method set_expand : bool -> unit
method set_focus_on_click : bool -> unit
method set_halign : GtkEnums.align -> unit
method set_has_default : bool -> unit
method set_has_focus : bool -> unit
method set_has_tooltip : bool -> unit
method set_height_request : int -> unit
method set_hexpand : bool -> unit
method set_hexpand_set : bool -> unit
method set_is_focus : bool -> unit
method set_kind : Gtk.Tags.arrow_type -> unit
method set_margin : int -> unit
method set_margin_bottom : int -> unit
method set_margin_end : int -> unit
method set_margin_left : int -> unit
method set_margin_right : int -> unit
method set_margin_start : int -> unit
method set_margin_top : int -> unit
method set_name : string -> unit
method set_no_show_all : bool -> unit
method set_opacity : float -> unit
method set_parent : Gtk.container Gtk.obj option -> unit
method set_receives_default : bool -> unit
method set_sensitive : bool -> unit
method set_shadow : Gtk.Tags.shadow_type -> unit
method set_style : Gtk.style -> unit
method set_tooltip_markup : string -> unit
method set_tooltip_text : string -> unit
method set_valign : GtkEnums.align -> unit
method set_vexpand : bool -> unit
method set_vexpand_set : bool -> unit
method set_visible : bool -> unit
method set_width_request : int -> unit
method set_xalign : float -> unit
method set_xpad : int -> unit
method set_yalign : float -> unit
method set_ypad : int -> unit
method shadow : Gtk.Tags.shadow_type
method style : Gtk.style
method tooltip_markup : string
method tooltip_text : string
method valign : GtkEnums.align
method vexpand : bool
method vexpand_set : bool
method visible : bool
method width_request : int
method xalign : float
method xpad : int
method yalign : float
method ypad : int
end
val arrow :
?kind:Gtk.Tags.arrow_type ->
?shadow:Gtk.Tags.shadow_type ->
?xalign:float ->
?yalign:float ->
?xpad:int ->
?ypad:int ->
?width:int ->
?height:int ->
?packing:(GObj.widget -> unit) -> ?show:bool -> unit -> GMisc.arrow
type image_type =
[ `ANIMATION
| `EMPTY
| `GICON
| `ICON_NAME
| `ICON_SET
| `PIXBUF
| `STOCK
| `SURFACE ]
class image :
([> Gtk.image ] as 'a) Gtk.obj ->
object
val obj : 'a Gtk.obj
method app_paintable : bool
method as_widget : Gtk.widget Gtk.obj
method can_default : bool
method can_focus : bool
method clear : unit -> unit
method coerce : GObj.widget
method composite_child : bool
method destroy : unit -> unit
method drag : GObj.drag_ops
method events : GdkEnums.event_mask list
method expand : bool
method focus_on_click : bool
method get_oid : int
method halign : GtkEnums.align
method has_default : bool
method has_focus : bool
method has_tooltip : bool
method height_request : int
method hexpand : bool
method hexpand_set : bool
method icon_name : string
method icon_set : Gtk.icon_set
method icon_size : Gtk.Tags.icon_size
method is_focus : bool
method margin : int
method margin_bottom : int
method margin_end : int
method margin_left : int
method margin_right : int
method margin_start : int
method margin_top : int
method misc : GObj.misc_ops
method name : string
method no_show_all : bool
method opacity : float
method parent : Gtk.container Gtk.obj option
method pixbuf : GdkPixbuf.pixbuf
method pixel_size : int
method receives_default : bool
method resource : string
method scale_factor : int
method sensitive : bool
method set_app_paintable : bool -> unit
method set_can_default : bool -> unit
method set_can_focus : bool -> unit
method set_events : GdkEnums.event_mask list -> unit
method set_expand : bool -> unit
method set_file : string -> unit
method set_focus_on_click : bool -> unit
method set_halign : GtkEnums.align -> unit
method set_has_default : bool -> unit
method set_has_focus : bool -> unit
method set_has_tooltip : bool -> unit
method set_height_request : int -> unit
method set_hexpand : bool -> unit
method set_hexpand_set : bool -> unit
method set_icon_name : string -> unit
method set_icon_set : Gtk.icon_set -> unit
method set_icon_size : Gtk.Tags.icon_size -> unit
method set_is_focus : bool -> unit
method set_margin : int -> unit
method set_margin_bottom : int -> unit
method set_margin_end : int -> unit
method set_margin_left : int -> unit
method set_margin_right : int -> unit
method set_margin_start : int -> unit
method set_margin_top : int -> unit
method set_name : string -> unit
method set_no_show_all : bool -> unit
method set_opacity : float -> unit
method set_parent : Gtk.container Gtk.obj option -> unit
method set_pixbuf : GdkPixbuf.pixbuf -> unit
method set_pixel_size : int -> unit
method set_receives_default : bool -> unit
method set_resource : string -> unit
method set_sensitive : bool -> unit
method set_stock : GtkStock.id -> unit
method set_style : Gtk.style -> unit
method set_tooltip_markup : string -> unit
method set_tooltip_text : string -> unit
method set_use_fallback : bool -> unit
method set_valign : GtkEnums.align -> unit
method set_vexpand : bool -> unit
method set_vexpand_set : bool -> unit
method set_visible : bool -> unit
method set_width_request : int -> unit
method set_xalign : float -> unit
method set_xpad : int -> unit
method set_yalign : float -> unit
method set_ypad : int -> unit
method stock : GtkStock.id
method storage_type : GMisc.image_type
method style : Gtk.style
method tooltip_markup : string
method tooltip_text : string
method use_fallback : bool
method valign : GtkEnums.align
method vexpand : bool
method vexpand_set : bool
method visible : bool
method width_request : int
method xalign : float
method xpad : int
method yalign : float
method ypad : int
end
val image :
?file:string ->
?icon_name:string ->
?icon_set:Gtk.icon_set ->
?icon_size:Gtk.Tags.icon_size ->
?pixbuf:GdkPixbuf.pixbuf ->
?pixel_size:int ->
?resource:string ->
?stock:GtkStock.id ->
?use_fallback:bool ->
?xalign:float ->
?yalign:float ->
?xpad:int ->
?ypad:int ->
?width:int ->
?height:int ->
?packing:(GObj.widget -> unit) -> ?show:bool -> unit -> GMisc.image
class label_skel :
([> Gtk.label ] as 'a) Gtk.obj ->
object
val obj : 'a Gtk.obj
method angle : float
method app_paintable : bool
method as_widget : Gtk.widget Gtk.obj
method can_default : bool
method can_focus : bool
method coerce : GObj.widget
method composite_child : bool
method cursor_position : int
method destroy : unit -> unit
method drag : GObj.drag_ops
method ellipsize : PangoEnums.ellipsize_mode
method events : GdkEnums.event_mask list
method expand : bool
method focus_on_click : bool
method get_layout : Pango.layout
method get_oid : int
method halign : GtkEnums.align
method has_default : bool
method has_focus : bool
method has_tooltip : bool
method height_request : int
method hexpand : bool
method hexpand_set : bool
method is_focus : bool
method justify : Gtk.Tags.justification
method label : string
method line_wrap : bool
method margin : int
method margin_bottom : int
method margin_end : int
method margin_left : int
method margin_right : int
method margin_start : int
method margin_top : int
method max_width_chars : int
method misc : GObj.misc_ops
method mnemonic_keyval : int
method mnemonic_widget : GObj.widget option
method name : string
method no_show_all : bool
method opacity : float
method parent : Gtk.container Gtk.obj option
method receives_default : bool
method scale_factor : int
method select_region : int -> int -> unit
method selectable : bool
method selection_bound : int
method selection_bounds : (int * int) option
method sensitive : bool
method set_angle : float -> unit
method set_app_paintable : bool -> unit
method set_can_default : bool -> unit
method set_can_focus : bool -> unit
method set_ellipsize : PangoEnums.ellipsize_mode -> unit
method set_events : GdkEnums.event_mask list -> unit
method set_expand : bool -> unit
method set_focus_on_click : bool -> unit
method set_halign : GtkEnums.align -> unit
method set_has_default : bool -> unit
method set_has_focus : bool -> unit
method set_has_tooltip : bool -> unit
method set_height_request : int -> unit
method set_hexpand : bool -> unit
method set_hexpand_set : bool -> unit
method set_is_focus : bool -> unit
method set_justify : Gtk.Tags.justification -> unit
method set_label : string -> unit
method set_line_wrap : bool -> unit
method set_margin : int -> unit
method set_margin_bottom : int -> unit
method set_margin_end : int -> unit
method set_margin_left : int -> unit
method set_margin_right : int -> unit
method set_margin_start : int -> unit
method set_margin_top : int -> unit
method set_max_width_chars : int -> unit
method set_mnemonic_widget : GObj.widget option -> unit
method set_name : string -> unit
method set_no_show_all : bool -> unit
method set_opacity : float -> unit
method set_parent : Gtk.container Gtk.obj option -> unit
method set_pattern : string -> unit
method set_receives_default : bool -> unit
method set_selectable : bool -> unit
method set_sensitive : bool -> unit
method set_single_line_mode : bool -> unit
method set_style : Gtk.style -> unit
method set_text : string -> unit
method set_tooltip_markup : string -> unit
method set_tooltip_text : string -> unit
method set_use_markup : bool -> unit
method set_use_underline : bool -> unit
method set_valign : GtkEnums.align -> unit
method set_vexpand : bool -> unit
method set_vexpand_set : bool -> unit
method set_visible : bool -> unit
method set_width_chars : int -> unit
method set_width_request : int -> unit
method set_xalign : float -> unit
method set_xpad : int -> unit
method set_yalign : float -> unit
method set_ypad : int -> unit
method single_line_mode : bool
method style : Gtk.style
method text : string
method tooltip_markup : string
method tooltip_text : string
method use_markup : bool
method use_underline : bool
method valign : GtkEnums.align
method vexpand : bool
method vexpand_set : bool
method visible : bool
method width_chars : int
method width_request : int
method xalign : float
method xpad : int
method yalign : float
method ypad : int
end
class label :
Gtk.label Gtk.obj ->
object
val obj : Gtk.label Gtk.obj
method angle : float
method app_paintable : bool
method as_widget : Gtk.widget Gtk.obj
method can_default : bool
method can_focus : bool
method coerce : GObj.widget
method composite_child : bool
method connect : GObj.widget_signals
method cursor_position : int
method destroy : unit -> unit
method drag : GObj.drag_ops
method ellipsize : PangoEnums.ellipsize_mode
method events : GdkEnums.event_mask list
method expand : bool
method focus_on_click : bool
method get_layout : Pango.layout
method get_oid : int
method halign : GtkEnums.align
method has_default : bool
method has_focus : bool
method has_tooltip : bool
method height_request : int
method hexpand : bool
method hexpand_set : bool
method is_focus : bool
method justify : Gtk.Tags.justification
method label : string
method line_wrap : bool
method margin : int
method margin_bottom : int
method margin_end : int
method margin_left : int
method margin_right : int
method margin_start : int
method margin_top : int
method max_width_chars : int
method misc : GObj.misc_ops
method mnemonic_keyval : int
method mnemonic_widget : GObj.widget option
method name : string
method no_show_all : bool
method opacity : float
method parent : Gtk.container Gtk.obj option
method receives_default : bool
method scale_factor : int
method select_region : int -> int -> unit
method selectable : bool
method selection_bound : int
method selection_bounds : (int * int) option
method sensitive : bool
method set_angle : float -> unit
method set_app_paintable : bool -> unit
method set_can_default : bool -> unit
method set_can_focus : bool -> unit
method set_ellipsize : PangoEnums.ellipsize_mode -> unit
method set_events : GdkEnums.event_mask list -> unit
method set_expand : bool -> unit
method set_focus_on_click : bool -> unit
method set_halign : GtkEnums.align -> unit
method set_has_default : bool -> unit
method set_has_focus : bool -> unit
method set_has_tooltip : bool -> unit
method set_height_request : int -> unit
method set_hexpand : bool -> unit
method set_hexpand_set : bool -> unit
method set_is_focus : bool -> unit
method set_justify : Gtk.Tags.justification -> unit
method set_label : string -> unit
method set_line_wrap : bool -> unit
method set_margin : int -> unit
method set_margin_bottom : int -> unit
method set_margin_end : int -> unit
method set_margin_left : int -> unit
method set_margin_right : int -> unit
method set_margin_start : int -> unit
method set_margin_top : int -> unit
method set_max_width_chars : int -> unit
method set_mnemonic_widget : GObj.widget option -> unit
method set_name : string -> unit
method set_no_show_all : bool -> unit
method set_opacity : float -> unit
method set_parent : Gtk.container Gtk.obj option -> unit
method set_pattern : string -> unit
method set_receives_default : bool -> unit
method set_selectable : bool -> unit
method set_sensitive : bool -> unit
method set_single_line_mode : bool -> unit
method set_style : Gtk.style -> unit
method set_text : string -> unit
method set_tooltip_markup : string -> unit
method set_tooltip_text : string -> unit
method set_use_markup : bool -> unit
method set_use_underline : bool -> unit
method set_valign : GtkEnums.align -> unit
method set_vexpand : bool -> unit
method set_vexpand_set : bool -> unit
method set_visible : bool -> unit
method set_width_chars : int -> unit
method set_width_request : int -> unit
method set_xalign : float -> unit
method set_xpad : int -> unit
method set_yalign : float -> unit
method set_ypad : int -> unit
method single_line_mode : bool
method style : Gtk.style
method text : string
method tooltip_markup : string
method tooltip_text : string
method use_markup : bool
method use_underline : bool
method valign : GtkEnums.align
method vexpand : bool
method vexpand_set : bool
method visible : bool
method width_chars : int
method width_request : int
method xalign : float
method xpad : int
method yalign : float
method ypad : int
end
val label :
?text:string ->
?markup:string ->
?use_underline:bool ->
?mnemonic_widget:#GObj.widget ->
?justify:Gtk.Tags.justification ->
?line_wrap:bool ->
?pattern:string ->
?selectable:bool ->
?ellipsize:PangoEnums.ellipsize_mode ->
?xalign:float ->
?yalign:float ->
?xpad:int ->
?ypad:int ->
?width:int ->
?height:int ->
?packing:(GObj.widget -> unit) -> ?show:bool -> unit -> GMisc.label
val label_cast : < as_widget : 'a Gtk.obj; .. > -> GMisc.label
class color_selection :
Gtk.color_selection Gtk.obj ->
object
val obj : Gtk.color_selection Gtk.obj
method alpha : int
method app_paintable : bool
method as_widget : Gtk.widget Gtk.obj
method can_default : bool
method can_focus : bool
method coerce : GObj.widget
method color : Gdk.color
method composite_child : bool
method connect : GObj.widget_signals
method destroy : unit -> unit
method drag : GObj.drag_ops
method events : GdkEnums.event_mask list
method expand : bool
method focus_on_click : bool
method get_oid : int
method halign : GtkEnums.align
method has_default : bool
method has_focus : bool
method has_opacity_control : bool
method has_palette : bool
method has_tooltip : bool
method height_request : int
method hexpand : bool
method hexpand_set : bool
method is_focus : bool
method margin : int
method margin_bottom : int
method margin_end : int
method margin_left : int
method margin_right : int
method margin_start : int
method margin_top : int
method misc : GObj.misc_ops
method name : string
method no_show_all : bool
method opacity : float
method parent : Gtk.container Gtk.obj option
method receives_default : bool
method scale_factor : int
method sensitive : bool
method set_alpha : int -> unit
method set_app_paintable : bool -> unit
method set_border_width : int -> unit
method set_can_default : bool -> unit
method set_can_focus : bool -> unit
method set_color : Gdk.color -> unit
method set_events : GdkEnums.event_mask list -> unit
method set_expand : bool -> unit
method set_focus_on_click : bool -> unit
method set_halign : GtkEnums.align -> unit
method set_has_default : bool -> unit
method set_has_focus : bool -> unit
method set_has_opacity_control : bool -> unit
method set_has_palette : bool -> unit
method set_has_tooltip : bool -> unit
method set_height_request : int -> unit
method set_hexpand : bool -> unit
method set_hexpand_set : bool -> unit
method set_is_focus : bool -> unit
method set_margin : int -> unit
method set_margin_bottom : int -> unit
method set_margin_end : int -> unit
method set_margin_left : int -> unit
method set_margin_right : int -> unit
method set_margin_start : int -> unit
method set_margin_top : int -> unit
method set_name : string -> unit
method set_no_show_all : bool -> unit
method set_opacity : float -> unit
method set_parent : Gtk.container Gtk.obj option -> unit
method set_receives_default : bool -> unit
method set_sensitive : bool -> unit
method set_style : Gtk.style -> unit
method set_tooltip_markup : string -> unit
method set_tooltip_text : string -> unit
method set_valign : GtkEnums.align -> unit
method set_vexpand : bool -> unit
method set_vexpand_set : bool -> unit
method set_visible : bool -> unit
method set_width_request : int -> unit
method style : Gtk.style
method tooltip_markup : string
method tooltip_text : string
method valign : GtkEnums.align
method vexpand : bool
method vexpand_set : bool
method visible : bool
method width_request : int
end
val color_selection :
?alpha:int ->
?color:Gdk.color ->
?has_opacity_control:bool ->
?has_palette:bool ->
?border_width:int ->
?width:int ->
?height:int ->
?packing:(GObj.widget -> unit) ->
?show:bool -> unit -> GMisc.color_selection
class font_selection :
Gtk.font_selection Gtk.obj ->
object
val obj : Gtk.font_selection Gtk.obj
method app_paintable : bool
method as_widget : Gtk.widget Gtk.obj
method can_default : bool
method can_focus : bool
method coerce : GObj.widget
method composite_child : bool
method connect : GObj.widget_signals
method destroy : unit -> unit
method drag : GObj.drag_ops
method event : GObj.event_ops
method events : GdkEnums.event_mask list
method expand : bool
method focus_on_click : bool
method font_name : string
method get_oid : int
method halign : GtkEnums.align
method has_default : bool
method has_focus : bool
method has_tooltip : bool
method height_request : int
method hexpand : bool
method hexpand_set : bool
method is_focus : bool
method margin : int
method margin_bottom : int
method margin_end : int
method margin_left : int
method margin_right : int
method margin_start : int
method margin_top : int
method misc : GObj.misc_ops
method name : string
method no_show_all : bool
method opacity : float
method parent : Gtk.container Gtk.obj option
method preview_text : string
method receives_default : bool
method scale_factor : int
method sensitive : bool
method set_app_paintable : bool -> unit
method set_border_width : int -> unit
method set_can_default : bool -> unit
method set_can_focus : bool -> unit
method set_events : GdkEnums.event_mask list -> unit
method set_expand : bool -> unit
method set_focus_on_click : bool -> unit
method set_font_name : string -> unit
method set_halign : GtkEnums.align -> unit
method set_has_default : bool -> unit
method set_has_focus : bool -> unit
method set_has_tooltip : bool -> unit
method set_height_request : int -> unit
method set_hexpand : bool -> unit
method set_hexpand_set : bool -> unit
method set_is_focus : bool -> unit
method set_margin : int -> unit
method set_margin_bottom : int -> unit
method set_margin_end : int -> unit
method set_margin_left : int -> unit
method set_margin_right : int -> unit
method set_margin_start : int -> unit
method set_margin_top : int -> unit
method set_name : string -> unit
method set_no_show_all : bool -> unit
method set_opacity : float -> unit
method set_parent : Gtk.container Gtk.obj option -> unit
method set_preview_text : string -> unit
method set_receives_default : bool -> unit
method set_sensitive : bool -> unit
method set_style : Gtk.style -> unit
method set_tooltip_markup : string -> unit
method set_tooltip_text : string -> unit
method set_valign : GtkEnums.align -> unit
method set_vexpand : bool -> unit
method set_vexpand_set : bool -> unit
method set_visible : bool -> unit
method set_width_request : int -> unit
method style : Gtk.style
method tooltip_markup : string
method tooltip_text : string
method valign : GtkEnums.align
method vexpand : bool
method vexpand_set : bool
method visible : bool
method width_request : int
end
val font_selection :
?font_name:string ->
?preview_text:string ->
?border_width:int ->
?width:int ->
?height:int ->
?packing:(GObj.widget -> unit) ->
?show:bool -> unit -> GMisc.font_selection
end