man GMisc () - Miscellaneous widgets

NAME

GMisc - Miscellaneous widgets

Module

Module GMisc

Documentation

Module GMisc : sig end

Miscellaneous widgets

=== Miscellaneous widgets ===

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

=== 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

=== 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

=== 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

=== 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

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 -> ?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

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

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

=== Tips query ===

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

Deprecated. .

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

Deprecated. . 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. .

=== 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

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