module GMisc:sig..end
Miscellaneous widgets
val separator : Gtk.Tags.orientation ->
?packing:(GObj.widget -> unit) -> ?show:bool -> unit -> GObj.widget_fullclass 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
val statusbar : ?has_resize_grip:bool ->
?border_width:int ->
?width:int ->
?height:int ->
?packing:(GObj.widget -> unit) -> ?show:bool -> unit -> statusbarclass status_icon_signals :Gtk.status_icon Gobject.obj ->object..end
class status_icon :Gtk.gtk_status_icon ->object..end
Display an icon in the system tray.
val status_icon : ?screen:Gdk.screen -> ?visible:bool -> unit -> status_icon
val status_icon_from_pixbuf : ?screen:Gdk.screen -> ?visible:bool -> GdkPixbuf.pixbuf -> status_icon
val status_icon_from_file : ?screen:Gdk.screen -> ?visible:bool -> string -> status_icon
val status_icon_from_stock : ?screen:Gdk.screen -> ?visible:bool -> string -> status_icon
val status_icon_from_icon_name : ?screen:Gdk.screen -> ?visible:bool -> string -> status_iconclass calendar_signals :[> Gtk.calendar ] Gtk.obj ->object..end
class calendar :Gtk.calendar Gtk.obj ->object..end
Display a calendar and/or allow the user to select a date
val calendar : ?options:Gtk.Tags.calendar_display_options list ->
?packing:(GObj.widget -> unit) -> ?show:bool -> unit -> calendarclass drawing_area :[> Gtk.drawing_area ] Gtk.obj ->object..end
A widget for custom user interface elements
val drawing_area : ?packing:(GObj.widget -> unit) -> ?show:bool -> unit -> drawing_areaclass misc :[> Gtk.misc ] Gtk.obj ->object..end
A base class for widgets with alignments and padding
class arrow :[> Gtk.arrow ] Gtk.obj ->object..end
Produces an arrow pointing in one of the four cardinal directions
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 -> arrowkind : default value is `RIGHTshadow : default value is `OUTtypeimage_type =[ `ANIMATION
| `EMPTY
| `GICON
| `ICON_NAME
| `ICON_SET
| `PIXBUF
| `STOCK
| `SURFACE ]
class image :[> Gtk.image ] Gtk.obj ->object..end
A widget displaying an image
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 -> imageclass label_skel :[> Gtk.label ] Gtk.obj ->object..end
class label :Gtk.label Gtk.obj ->object..end
A widget that displays a small to medium amount of text
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 -> labelmarkup : overrides text if both are presentuse_underline : default value is falsejustify : default value is `LEFTline_wrap : default values is falseselectable : default value is falseval label_cast : < as_widget : 'a Gtk.obj; .. > -> labelDeprecated since 3.0
class color_selection :Gtk.color_selection Gtk.obj ->object..end
A widget used to select a color
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_selectionclass font_selection :Gtk.font_selection Gtk.obj ->object..end
A widget for selecting fonts.
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