Module GMisc

module GMisc: sig .. end

Miscellaneous widgets

val separator : Gtk.Tags.orientation ->
       ?packing:(GObj.widget -> unit) -> ?show:bool -> unit -> GObj.widget_full

GTK documentation: GtkSeparatorGTK documentation: GtkHSeparatorGTK documentation: GtkVSeparator

Statusbar

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

val statusbar : ?has_resize_grip:bool ->
       ?border_width:int ->
       ?width:int ->
       ?height:int ->
       ?packing:(GObj.widget -> unit) -> ?show:bool -> unit -> statusbar

GTK documentation: GtkStatusbar

Status icon

class 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 -> ?blinking:bool -> unit -> status_icon

val status_icon_from_pixbuf : ?screen:Gdk.screen ->
       ?visible:bool -> ?blinking:bool -> GdkPixbuf.pixbuf -> status_icon

val status_icon_from_file : ?screen:Gdk.screen ->
       ?visible:bool -> ?blinking:bool -> string -> status_icon

val status_icon_from_stock : ?screen:Gdk.screen ->
       ?visible:bool -> ?blinking:bool -> string -> status_icon

val status_icon_from_icon_name : ?screen:Gdk.screen ->
       ?visible:bool -> ?blinking:bool -> string -> status_icon

Calendar

class 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 -> calendar

GTK documentation: GtkCalendar

Drawing Area

class drawing_area : Gtk.drawing_area Gtk.obj -> object .. end

A widget for custom user interface elements

val drawing_area : ?width:int ->
       ?height:int ->
       ?packing:(GObj.widget -> unit) -> ?show:bool -> unit -> drawing_area

GTK documentation: GtkDrawingArea

Misc. Widgets

class 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 -> arrow

GTK documentation: GtkArrow

kind : default value is `RIGHT

shadow : default value is `OUT

type image_type = [ `ANIMATION | `EMPTY | `ICON_SET | `IMAGE | `PIXBUF | `PIXMAP | `STOCK ]

class image : [> Gtk.image ] Gtk.obj -> object .. end

A widget displaying an image

val image : ?file:string ->
       ?image:Gdk.image ->
       ?pixbuf:GdkPixbuf.pixbuf ->
       ?pixel_size:int ->
       ?pixmap:Gdk.pixmap ->
       ?mask:Gdk.bitmap ->
       ?stock:GtkStock.id ->
       ?icon_set:Gtk.icon_set ->
       ?icon_size:Gtk.Tags.icon_size ->
       ?xalign:float ->
       ?yalign:float ->
       ?xpad:int ->
       ?ypad:int ->
       ?width:int ->
       ?height:int ->
       ?packing:(GObj.widget -> unit) -> ?show:bool -> unit -> image

GTK documentation: GtkImage

val pixmap : #GDraw.pixmap ->
       ?xalign:float ->
       ?yalign:float ->
       ?xpad:int ->
       ?ypad:int ->
       ?width:int ->
       ?height:int ->
       ?packing:(GObj.widget -> unit) -> ?show:bool -> unit -> image

Labels

class 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 -> label

GTK documentation: GtkLabel

markup : overrides text if both are present

use_underline : default value is false

justify : default value is `LEFT

line_wrap : default values is false

selectable : default value is false

val label_cast : < as_widget : 'a Gtk.obj; .. > -> label

Tips query

class tips_query_signals : Gtk.tips_query Gtk.obj -> object .. end

class tips_query : Gtk.tips_query Gtk.obj -> object .. end

Displays help about widgets in the user interface

val tips_query : ?caller:#GObj.widget ->
       ?emit_always:bool ->
       ?label_inactive:string ->
       ?label_no_tip:string ->
       ?xalign:float ->
       ?yalign:float ->
       ?xpad:int ->
       ?ypad:int ->
       ?width:int ->
       ?height:int ->
       ?packing:(GObj.widget -> unit) -> ?show:bool -> unit -> tips_query

Deprecated..
GTK documentation: GtkTipsQuery

Color and font selection

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_selection

GTK documentation: GtkColorSelection

class 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

GTK documentation: GtkFontSelection