Module Widget

module Widget: sig .. end

Simple Widgets



class type widget = object .. end
class type action = object .. end
class type t = widget
class type ['a] signal = object .. end
class type ['a] selector = object .. end

Labels


type align = [ `Center | `Left | `Right ] 
type style = [ `Code | `Descr | `Label | `Title ] 
type color = [ `BLACK
| `COLOR of Gdk.color
| `NAME of string
| `NORMAL
| `RGB of int * int * int
| `WHITE ]
class label : ?style:style -> ?align:align -> ?width:int -> ?text:string -> unit -> object .. end
Default: ~style:`Label ~align:`Left

Icons


type icon = [ `ABOUT
| `ADD
| `APPLY
| `BOLD
| `CANCEL
| `CAPS_LOCK_WARNING
| `CDROM
| `CLEAR
| `CLOSE
| `COLOR_PICKER
| `CONNECT
| `CONVERT
| `COPY
| `CUT
| `DELETE
| `DIALOG_AUTHENTICATION
| `DIALOG_ERROR
| `DIALOG_INFO
| `DIALOG_QUESTION
| `DIALOG_WARNING
| `DIRECTORY
| `DISCONNECT
| `DND
| `DND_MULTIPLE
| `EDIT
| `EXECUTE
| `FILE
| `FIND
| `FIND_AND_REPLACE
| `FLOPPY
| `FULLSCREEN
| `GOTO_BOTTOM
| `GOTO_FIRST
| `GOTO_LAST
| `GOTO_TOP
| `GO_BACK
| `GO_DOWN
| `GO_FORWARD
| `GO_UP
| `HARDDISK
| `HELP
| `HOME
| `INDENT
| `INDEX
| `INFO
| `ITALIC
| `JUMP_TO
| `JUSTIFY_CENTER
| `JUSTIFY_FILL
| `JUSTIFY_LEFT
| `JUSTIFY_RIGHT
| `LEAVE_FULLSCREEN
| `MEDIA_FORWARD
| `MEDIA_NEXT
| `MEDIA_PAUSE
| `MEDIA_PLAY
| `MEDIA_PREVIOUS
| `MEDIA_RECORD
| `MEDIA_REWIND
| `MEDIA_STOP
| `MISSING_IMAGE
| `NETWORK
| `NEW
| `NO
| `None
| `OK
| `OPEN
| `ORIENTATION_LANDSCAPE
| `ORIENTATION_PORTRAIT
| `ORIENTATION_REVERSE_LANDSCAPE
| `ORIENTATION_REVERSE_PORTRAIT
| `PAGE_SETUP
| `PASTE
| `PREFERENCES
| `PRINT
| `PRINT_ERROR
| `PRINT_PAUSED
| `PRINT_PREVIEW
| `PRINT_REPORT
| `PRINT_WARNING
| `PROPERTIES
| `QUIT
| `REDO
| `REFRESH
| `REMOVE
| `REVERT_TO_SAVED
| `SAVE
| `SAVE_AS
| `SELECT_ALL
| `SELECT_COLOR
| `SELECT_FONT
| `SORT_ASCENDING
| `SORT_DESCENDING
| `SPELL_CHECK
| `STOCK of string
| `STOP
| `STRIKETHROUGH
| `Share of string
| `UNDELETE
| `UNDERLINE
| `UNDO
| `UNINDENT
| `YES
| `ZOOM_100
| `ZOOM_FIT
| `ZOOM_IN
| `ZOOM_OUT ]
val default_icon : unit -> GdkPixbuf.pixbuf
val shared_icon : string -> GdkPixbuf.pixbuf
val gimage : icon -> GMisc.image
class image : icon -> object .. end

Buttons


class button : ?align:align -> ?icon:icon -> ?label:string -> ?border:bool -> ?tooltip:string -> unit -> object .. end
class toggle : ?align:align -> ?icon:icon -> ?label:string -> ?border:bool -> ?tooltip:string -> unit -> object .. end
class checkbox : label:string -> ?tooltip:string -> unit -> object .. end
class switch : ?tooltip:string -> unit -> object .. end

Groups


class ['a] group : 'a -> object .. end
A group is not a widget ; it creates interconnected toggle or radio buttons, each switching to a peculiar value.

Selectors


class spinner : ?min:int -> ?max:int -> ?step:int -> value:int -> ?tooltip:string -> unit -> object .. end
class ['a] menu : default:'a -> ?options:('a * string) list -> ?render:'a -> string -> ?items:'a list -> unit -> object .. end
class popup : unit -> object .. end
Contextual menu.