module Widget: sig
.. end
class type widget = object
.. end
class type ['a]
signal = object
.. end
class type ['a]
selector = object
.. end
Labels
type
align = [ `Center | `Left | `Right ]
type
style = [ `Descr | `Label | `Title ]
class label : ?style:style -> ?text:string -> ?align:align -> unit ->
object
.. end
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
| `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 button : ?label:string -> ?icon:icon -> ?tooltip:string -> unit ->
object
.. end
class toggle : ?label:string -> ?icon:icon -> ?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.
class vbox : widget list ->
widget
Compact vertical box, typically used for packing radio buttons from a
Widget.group
.
class hbox : widget list ->
widget
Compact horizontal box, typically used for packing toggle buttons from a
Widget.group
.
Selectors
class spinner : ?min:int -> ?max:int -> ?step:int -> value:int -> ?tooltip:string -> unit ->
object
.. end
class ['a]
menu : default:'a -> render:('a -> string) -> ?items:'a list -> unit ->
object
.. end
class popup : unit ->
object
.. end
Contextual menu.