package lablgtk3
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=d4821cdbecf3ae374f20317d63e43fe58030c3ba9657b51a2e83e652197e8eac
sha512=83f0be38a1e21737de93f88b0adac15cdcc50cf712d773720b9bc1e8d8ffdb2c660d35840f25d326a42a9d4e6537e6cef466099bf72494196b2cc79977e703e3
doc/lablgtk3/GMisc/index.html
Module GMiscSource
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
Statusbar
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
Status icon
@gtkdoc gtk GtkStatusIcon
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_iconval status_icon_from_pixbuf :
?screen:Gdk.screen ->
?visible:bool ->
?tooltip_markup:string ->
?tooltip_text:string ->
GdkPixbuf.pixbuf ->
status_iconval status_icon_from_file :
?screen:Gdk.screen ->
?visible:bool ->
?tooltip_markup:string ->
?tooltip_text:string ->
string ->
status_iconval status_icon_from_stock :
?screen:Gdk.screen ->
?visible:bool ->
?tooltip_markup:string ->
?tooltip_text:string ->
string ->
status_iconval status_icon_from_icon_name :
?screen:Gdk.screen ->
?visible:bool ->
?tooltip_markup:string ->
?tooltip_text:string ->
string ->
status_iconCalendar
@gtkdoc gtk GtkCalendar
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
Drawing Area
A widget for custom user interface elements @gtkdoc gtk GtkDrawingArea
@gtkdoc gtk GtkDrawingArea
Misc. Widgets
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
Labels
@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
Color and font selection
Deprecated since 3.0
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
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