GMisc
Miscellaneous widgets
val separator :
Gtk.Tags.orientation ->
?packing:(GObj.widget -> unit) ->
?show:bool ->
unit ->
GObj.widget_full
@gtkdoc gtk GtkSeparator @gtkdoc gtk GtkHSeparator @gtkdoc gtk GtkVSeparator
class statusbar_context : Gtk.statusbar Gtk.obj -> Gtk.statusbar_context -> object ... end
class statusbar : Gtk.statusbar Gtk.obj -> object ... end
Report messages of minor importance to the user @gtkdoc gtk GtkStatusbar
val statusbar :
?border_width:int ->
?width:int ->
?height:int ->
?packing:(GObj.widget -> unit) ->
?show:bool ->
unit ->
statusbar
@gtkdoc gtk GtkStatusbar
class status_icon_signals : Gtk.status_icon Gobject.obj -> object ... end
@gtkdoc gtk GtkStatusIcon
class status_icon : Gtk.gtk_status_icon -> object ... end
Display an icon in the system tray. @gtkdoc gtk GtkStatusIcon
val status_icon :
?screen:Gdk.screen ->
?visible:bool ->
?tooltip_markup:string ->
?tooltip_text:string ->
unit ->
status_icon
val status_icon_from_pixbuf :
?screen:Gdk.screen ->
?visible:bool ->
?tooltip_markup:string ->
?tooltip_text:string ->
GdkPixbuf.pixbuf ->
status_icon
val status_icon_from_file :
?screen:Gdk.screen ->
?visible:bool ->
?tooltip_markup:string ->
?tooltip_text:string ->
string ->
status_icon
val status_icon_from_stock :
?screen:Gdk.screen ->
?visible:bool ->
?tooltip_markup:string ->
?tooltip_text:string ->
string ->
status_icon
val status_icon_from_icon_name :
?screen:Gdk.screen ->
?visible:bool ->
?tooltip_markup:string ->
?tooltip_text:string ->
string ->
status_icon
class calendar_signals : 'a Gtk.obj -> object ... end
@gtkdoc gtk GtkCalendar
class calendar : Gtk.calendar Gtk.obj -> object ... end
Display a calendar and/or allow the user to select a date @gtkdoc gtk GtkCalendar
val calendar :
?options:Gtk.Tags.calendar_display_options list ->
?packing:(GObj.widget -> unit) ->
?show:bool ->
unit ->
calendar
@gtkdoc gtk GtkCalendar
class drawing_area : [> Gtk.drawing_area ] as 'a Gtk.obj -> object ... end
A widget for custom user interface elements @gtkdoc gtk GtkDrawingArea
val drawing_area :
?packing:(GObj.widget -> unit) ->
?show:bool ->
unit ->
drawing_area
@gtkdoc gtk GtkDrawingArea
A base class for widgets with alignments and padding @gtkdoc gtk GtkMisc
Produces an arrow pointing in one of the four cardinal directions @gtkdoc gtk GtkArrow
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 ->
arrow
@gtkdoc gtk GtkArrow
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 ->
image
@gtkdoc gtk GtkImage
class label_skel : 'a Gtk.obj -> object ... end
@gtkdoc gtk GtkLabel
A widget that displays a small to medium amount of text @gtkdoc gtk GtkLabel
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 ->
label
@gtkdoc gtk GtkLabel
Deprecated since 3.0
class color_selection : Gtk.color_selection Gtk.obj -> object ... end
A widget used to select a color @gtkdoc gtk GtkColorSelection
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 ->
color_selection
@gtkdoc gtk GtkColorSelection
class font_selection : Gtk.font_selection Gtk.obj -> object ... end
A widget for selecting fonts. @gtkdoc gtk GtkFontSelection
val font_selection :
?font_name:string ->
?preview_text:string ->
?border_width:int ->
?width:int ->
?height:int ->
?packing:(GObj.widget -> unit) ->
?show:bool ->
unit ->
font_selection
@gtkdoc gtk GtkFontSelection