Module GMisc

module GMisc: sig .. end
Miscellaneous widgets


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

Curve


class curve : Gtk.curve Gtk.obj -> object .. end
Allows direct editing of a curve

val curve : ?width:int ->
?height:int ->
?curve_type:GtkEnums.curve_type ->
?max_x:float ->
?max_y:float ->
?min_x:float ->
?min_y:float ->
?packing:(GObj.widget -> unit) -> ?show:bool -> unit -> curve
GTK documentation: GtkCurve

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
| `GICON
| `ICON_NAME
| `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