tk (types): types
Builtin types are:
type bitmap =
BitmapFile of string (* path of file *)
| Predefined of string (* bitmap name *)
;;
type color =
NamedColor of string
| Black (* tk keyword: black *)
| White (* tk keyword: white *)
| Red (* tk keyword: red *)
| Green (* tk keyword: green *)
| Blue (* tk keyword: blue *)
| Yellow (* tk keyword: yellow *)
;;
type cursor =
XCursor of string
| XCursorFg of string * color
| XCursortFgBg of string * color * color
| CursorFileFg of string * color
| CursorMaskFile of string * string * color * color
;;
type units =
Pixels of int (* specified as floating-point, but inconvenient *)
| Centimeters of float
| Inches of float
| Millimeters of float
| PrinterPoint of float
;;
type scrollValue =
ScrollPage of int (* tk option: scroll <int> page *)
| ScrollUnit of int (* tk option: scroll <int> unit *)
| MoveTo of float (* tk option: moveto <float> *)
;;
type xEvent =
ButtonPress (* also Button, but we omit it *)
| ButtonPressDetail of int
| ButtonRelease
| ButtonReleaseDetail of int
| Circulate
| ColorMap
| Configure
| Destroy
| Enter
| Expose
| FocusIn
| FocusOut
| Gravity
| KeyPress (* also Key, but we omit it *)
| KeyPressDetail of string (* /usr/include/X11/keysymdef.h *)
| KeyRelease
| KeyReleaseDetail of string
| Leave
| Map
| Motion
| Property
| Reparent
| Unmap
| Visibility
;;
type modifier =
Control
| Shift
| Lock
| Button1
| Button2
| Button3
| Button4
| Button5
| Double
| Triple
| Mod1
| Mod2
| Mod3
| Mod4
| Mod5
| Meta
| Alt
;;
type eventInfo =
{
mutable ev_Above : int; (* tk: %a *)
mutable ev_ButtonNumber : int; (* tk: %b *)
mutable ev_Count : int; (* tk: %c *)
mutable ev_Detail : string; (* tk: %d *)
mutable ev_Focus : bool; (* tk: %f *)
mutable ev_Height : int; (* tk: %h *)
mutable ev_KeyCode : int; (* tk: %k *)
mutable ev_Mode : string; (* tk: %m *)
mutable ev_OverrideRedirect : bool; (* tk: %o *)
mutable ev_Place : string; (* tk: %p *)
mutable ev_State : string; (* tk: %s *)
mutable ev_Time : int; (* tk: %t *)
mutable ev_Width : int; (* tk: %w *)
mutable ev_MouseX : int; (* tk: %x *)
mutable ev_MouseY : int; (* tk: %y *)
mutable ev_Char : string; (* tk: %A *)
mutable ev_BorderWidth : int; (* tk: %B *)
mutable ev_SendEvent : bool; (* tk: %E *)
mutable ev_KeySymString : string; (* tk: %K *)
mutable ev_KeySymInt : int; (* tk: %N *)
mutable ev_RootWindow : int; (* tk: %R *)
mutable ev_SubWindow : int; (* tk: %S *)
mutable ev_Type : int; (* tk: %T *)
mutable ev_Widget : widget; (* tk: %W *)
mutable ev_RootX : int; (* tk: %X *)
mutable ev_RootY : int (* tk: %Y *)
}
;;
type eventField =
Ev_Above
| Ev_ButtonNumber
| Ev_Count
| Ev_Detail
| Ev_Focus
| Ev_Height
| Ev_KeyCode
| Ev_Mode
| Ev_OverrideRedirect
| Ev_Place
| Ev_State
| Ev_Time
| Ev_Width
| Ev_MouseX
| Ev_MouseY
| Ev_Char
| Ev_BorderWidth
| Ev_SendEvent
| Ev_KeySymString
| Ev_KeySymInt
| Ev_RootWindow
| Ev_SubWindow
| Ev_Type
| Ev_Widget
| Ev_RootX
| Ev_RootY
;;
type bindAction =
BindSet of eventField list * (eventInfo -> unit)
| BindSetBreakable of eventField list * (eventInfo -> unit)
| BindRemove
| BindExtend of eventField list * (eventInfo -> unit)
;;
type bindings =
TagBindings of string (* tk option: <string> *)
| WidgetBindings of widget (* tk option: <widget> *)
;;
type index =
Number of int (* no keyword *)
| ActiveElement (* tk keyword: active *)
| End (* tk keyword: end *)
| Last (* tk keyword: last *)
| NoIndex (* tk keyword: none *)
| Insert (* tk keyword: insert *)
| SelFirst (* tk keyword: sel.first *)
| SelLast (* tk keyword: sel.last *)
| At of int (* tk keyword: @n *)
| AtXY of int * int (* tk keyword: @x,y *)
| AnchorPoint (* tk keyword: anchor *)
| Pattern of string (* no keyword *)
| LineChar of int * int (* tk keyword: l.c *)
| Mark of string (* no keyword *)
| TagFirst of string (* tk keyword: tag.first *)
| TagLast of string (* tk keyword: tag.last *)
| Embedded of widget (* no keyword *)
;;
type paletteType =
GrayShades of int
| RGBShades of int * int * int
;;
type textMark == string
;;
type textTag == string
;;
type textModifier =
CharOffset of int (* tk keyword: +/- Xchars *)
| LineOffset of int (* tk keyword: +/- Xlines *)
| LineStart (* tk keyword: linestart *)
| LineEnd (* tk keyword: lineend *)
| WordStart (* tk keyword: wordstart *)
| WordEnd (* tk keyword: wordend *)
;;
type textIndex =
TextIndex of index * textModifier list
| TextIndexNone
;;
type relief =
Flat (* tk option: flat *)
| Groove (* tk option: groove *)
| Raised (* tk option: raised *)
| Ridge (* tk option: ridge *)
| Sunken (* tk option: sunken *)
;;
type orientation =
Horizontal (* tk option: horizontal *)
| Vertical (* tk option: vertical *)
;;
type justification =
Justify_Center (* tk option: center *)
| Justify_Left (* tk option: left *)
| Justify_Right (* tk option: right *)
;;
type imagePhoto =
PhotoImage of string (* tk option: [string] *)
;;
type imageBitmap =
BitmapImage of string (* tk option: [string] *)
;;
type anchor =
Center (* tk option: center *)
| E (* tk option: e *)
| N (* tk option: n *)
| NE (* tk option: ne *)
| NW (* tk option: nw *)
| S (* tk option: s *)
| SE (* tk option: se *)
| SW (* tk option: sw *)
| W (* tk option: w *)
;;
type state =
Active (* tk option: active *)
| Disabled (* tk option: disabled *)
| Normal (* tk option: normal *)
;;
type colorMode =
Color (* tk option: color *)
| Gray (* tk option: gray *)
| Mono (* tk option: mono *)
;;
type tagOrId =
Id of int (* tk option: [int] *)
| Tag of string (* tk option: [string] *)
;;
type arcStyle =
Arc (* tk option: arc *)
| Chord (* tk option: chord *)
| PieSlice (* tk option: pieslice *)
;;
type joinStyle =
Join_Bevel (* tk option: bevel *)
| Join_Miter (* tk option: miter *)
| Join_Round (* tk option: round *)
;;
type capStyle =
Cap_Butt (* tk option: butt *)
| Cap_Projecting (* tk option: projecting *)
| Cap_Round (* tk option: round *)
;;
type arrowStyle =
Arrow_Both (* tk option: both *)
| Arrow_First (* tk option: first *)
| Arrow_Last (* tk option: last *)
| Arrow_None (* tk option: none *)
;;
type colormap =
NewColormap (* tk option: new *)
| WidgetColormap of widget (* tk option: [widget] *)
;;
type visual =
Best (* tk option: best *)
| BestDepth of int (* tk option: {best [int]} *)
| ClassVisual of string * int (* tk option: {[string] [int]} *)
| DefaultVisual (* tk option: default *)
| WidgetVisual of widget (* tk option: [widget] *)
;;
type selectModeType =
Browse (* tk option: browse *)
| Extended (* tk option: extended *)
| Multiple (* tk option: multiple *)
| Single (* tk option: single *)
;;
type side =
Side_Bottom (* tk option: bottom *)
| Side_Left (* tk option: left *)
| Side_Right (* tk option: right *)
| Side_Top (* tk option: top *)
;;
type fillMode =
Fill_Both (* tk option: both *)
| Fill_None (* tk option: none *)
| Fill_X (* tk option: x *)
| Fill_Y (* tk option: y *)
;;
type borderMode =
Ignore (* tk option: ignore *)
| Inside (* tk option: inside *)
| Outside (* tk option: outside *)
;;
type alignType =
Align_Baseline (* tk option: baseline *)
| Align_Bottom (* tk option: bottom *)
| Align_Center (* tk option: center *)
| Align_Top (* tk option: top *)
;;
type tabType =
TabCenter of units (* tk option: [units] center *)
| TabLeft of units (* tk option: [units] left *)
| TabNumeric of units (* tk option: [units] numeric *)
| TabRight of units (* tk option: [units] right *)
;;
type wrapMode =
WrapChar (* tk option: char *)
| WrapNone (* tk option: none *)
| WrapWord (* tk option: word *)
;;
type options =
Accelerator of string (* tk option: -accelerator [string] *)
| ActiveBackground of color (* tk option: -activebackground [color] *)
| ActiveBorderWidth of units (* tk option: -activeborderwidth [units] *)
| ActiveForeground of color (* tk option: -activeforeground [color] *)
| ActiveRelief of relief (* tk option: -activerelief [relief] *)
| After of widget (* tk option: -after [widget] *)
| Align of alignType (* tk option: -align [alignType] *)
| Anchor of anchor (* tk option: -anchor [anchor] *)
| ArcStyle of arcStyle (* tk option: -style [arcStyle] *)
| ArrowShape of units * units * units (* tk option: -arrowshape {[units] [units] [units]} *)
| ArrowStyle of arrowStyle (* tk option: -arrow [arrowStyle] *)
| Aspect of int (* tk option: -aspect [int] *)
| Background of color (* tk option: -background [color] *)
| Before of widget (* tk option: -before [widget] *)
| BgStipple of bitmap (* tk option: -bgstipple [bitmap] *)
| BigIncrement of float (* tk option: -bigincrement [float] *)
| Bitmap of bitmap (* tk option: -bitmap [bitmap] *)
| BorderMode of borderMode (* tk option: -bordermode [borderMode] *)
| BorderWidth of units (* tk option: -borderwidth [units] *)
| CapStyle of capStyle (* tk option: -capstyle [capStyle] *)
| Class of string (* tk option: -class [string] *)
| CloseEnough of float (* tk option: -closeenough [float] *)
| Colormap of colormap (* tk option: -colormap [colormap] *)
| Colormode of colorMode (* tk option: -colormode [colorMode] *)
| Command of (unit -> unit) (* tk option: -command [(unit -> unit)] *)
| Confine of bool (* tk option: -confine [bool] *)
| Cursor of cursor (* tk option: -cursor [cursor] *)
| Data of string (* tk option: -data [string] *)
| Digits of int (* tk option: -digits [int] *)
| DisabledForeground of color (* tk option: -disabledforeground [color] *)
| ElementBorderWidth of units (* tk option: -elementborderwidth [units] *)
| Expand of bool (* tk option: -expand [bool] *)
| ExportSelection of bool (* tk option: -exportselection [bool] *)
| Extent of float (* tk option: -extent [float] *)
| FgStipple of bitmap (* tk option: -fgstipple [bitmap] *)
| File of string (* tk option: -file [string] *)
| Fill of fillMode (* tk option: -fill [fillMode] *)
| FillColor of color (* tk option: -fill [color] *)
| Font of string (* tk option: -font [string] *)
| Foreground of color (* tk option: -foreground [color] *)
| Format of string (* tk option: -format [string] *)
| From of float (* tk option: -from [float] *)
| Gamma of float (* tk option: -gamma [float] *)
| Geometry of string (* tk option: -geometry [string] *)
| Height of units (* tk option: -height [units] *)
| HighlightBackground of color (* tk option: -highlightbackground [color] *)
| HighlightColor of color (* tk option: -highlightcolor [color] *)
| HighlightThickness of units (* tk option: -highlightthickness [units] *)
| IPadX of units (* tk option: -ipadx [units] *)
| IPadY of units (* tk option: -ipady [units] *)
| ImageBitmap of imageBitmap (* tk option: -image [imageBitmap] *)
| ImagePhoto of imagePhoto (* tk option: -image [imagePhoto] *)
| In of widget (* tk option: -in [widget] *)
| IndicatorOn of bool (* tk option: -indicatoron [bool] *)
| InsertBackground of color (* tk option: -insertbackground [color] *)
| InsertBorderWidth of units (* tk option: -insertborderwidth [units] *)
| InsertOffTime of int (* tk option: -insertofftime [int] *)
| InsertOnTime of int (* tk option: -insertontime [int] *)
| InsertWidth of units (* tk option: -insertwidth [units] *)
| JoinStyle of joinStyle (* tk option: -joinstyle [joinStyle] *)
| Jump of bool (* tk option: -jump [bool] *)
| Justify of justification (* tk option: -justify [justification] *)
| LMargin1 of units (* tk option: -lmargin1 [units] *)
| LMargin2 of units (* tk option: -lmargin2 [units] *)
| Label of string (* tk option: -label [string] *)
| Length of units (* tk option: -length [units] *)
| Maskdata of string (* tk option: -maskdata [string] *)
| Maskfile of string (* tk option: -maskfile [string] *)
| Menu of widget (* tk option: -menu [widget] *)
| OffValue of string (* tk option: -offvalue [string] *)
| Offset of units (* tk option: -offset [units] *)
| OnValue of string (* tk option: -onvalue [string] *)
| Orient of orientation (* tk option: -orient [orientation] *)
| Outline of color (* tk option: -outline [color] *)
| OutlineStipple of bitmap (* tk option: -outlinestipple [bitmap] *)
| OverStrike of bool (* tk option: -overstrike [bool] *)
| PadX of units (* tk option: -padx [units] *)
| PadY of units (* tk option: -pady [units] *)
| PageAnchor of anchor (* tk option: -pageanchor [anchor] *)
| PageHeight of units (* tk option: -pageheight [units] *)
| PageWidth of units (* tk option: -pagewidth [units] *)
| PageX of units (* tk option: -pagex [units] *)
| PageY of units (* tk option: -pagey [units] *)
| Palette of paletteType (* tk option: -palette [paletteType] *)
| PostCommand of (unit -> unit) (* tk option: -postcommand [(unit -> unit)] *)
| RMargin of units (* tk option: -rmargin [units] *)
| RelHeight of float (* tk option: -relheight [float] *)
| RelWidth of float (* tk option: -relwidth [float] *)
| RelX of float (* tk option: -relx [float] *)
| RelY of float (* tk option: -rely [float] *)
| Relief of relief (* tk option: -relief [relief] *)
| RepeatDelay of int (* tk option: -repeatdelay [int] *)
| RepeatInterval of int (* tk option: -repeatinterval [int] *)
| Resolution of float (* tk option: -resolution [float] *)
| Rotate of bool (* tk option: -rotate [bool] *)
| ScaleCommand of (float -> unit) (* tk option: -command [(float -> unit)] *)
| Screen of string (* tk option: -screen [string] *)
| ScrollCommand of (scrollValue -> unit) (* tk option: -command [(scrollValue -> unit)] *)
| ScrollRegion of units * units * units * units (* tk option: -scrollregion {[units] [units] [units] [units]} *)
| SelectBackground of color (* tk option: -selectbackground [color] *)
| SelectBorderWidth of units (* tk option: -selectborderwidth [units] *)
| SelectColor of color (* tk option: -selectcolor [color] *)
| SelectForeground of color (* tk option: -selectforeground [color] *)
| SelectImageBitmap of imageBitmap (* tk option: -selectimage [imageBitmap] *)
| SelectImagePhoto of imagePhoto (* tk option: -selectimage [imagePhoto] *)
| SelectMode of selectModeType (* tk option: -selectmode [selectModeType] *)
| SetGrid of bool (* tk option: -setgrid [bool] *)
| Show of char (* tk option: -show [char] *)
| ShowValue of bool (* tk option: -showvalue [bool] *)
| Side of side (* tk option: -side [side] *)
| SliderLength of units (* tk option: -sliderlength [units] *)
| Smooth of bool (* tk option: -smooth [bool] *)
| Spacing1 of units (* tk option: -spacing1 [units] *)
| Spacing2 of units (* tk option: -spacing2 [units] *)
| Spacing3 of units (* tk option: -spacing3 [units] *)
| SplineSteps of int (* tk option: -splinesteps [int] *)
| Start of float (* tk option: -start [float] *)
| State of state (* tk option: -state [state] *)
| Stipple of bitmap (* tk option: -stipple [bitmap] *)
| Stretch of bool (* tk option: -stretch [bool] *)
| Tabs of tabType list (* tk option: -tabs {[tabType list]} *)
| Tags of tagOrId list (* tk option: -tags {[tagOrId list]} *)
| TakeFocus of bool (* tk option: -takefocus [bool] *)
| TearOff of bool (* tk option: -tearoff [bool] *)
| Text of string (* tk option: -text [string] *)
| TextHeight of int (* tk option: -height [int] *)
| TextVariable of textVariable (* tk option: -textvariable [textVariable] *)
| TextWidth of int (* tk option: -width [int] *)
| ThroughColor of color (* tk option: -troughcolor [color] *)
| TickInterval of float (* tk option: -tickinterval [float] *)
| To of float (* tk option: -to [float] *)
| Underline of bool (* tk option: -underline [bool] *)
| UnderlinedChar of int (* tk option: -underline [int] *)
| Value of string (* tk option: -value [string] *)
| Variable of textVariable (* tk option: -variable [textVariable] *)
| Visual of visual (* tk option: -visual [visual] *)
| Width of units (* tk option: -width [units] *)
| Window of widget (* tk option: -window [widget] *)
| Wrap of wrapMode (* tk option: -wrap [wrapMode] *)
| WrapLength of units (* tk option: -wraplength [units] *)
| X of units (* tk option: -x [units] *)
| XScrollCommand of (float -> float -> unit) (* tk option: -xscrollcommand [(float -> float -> unit)] *)
| XScrollIncrement of units (* tk option: -xscrollincrement [units] *)
| Y of units (* tk option: -y [units] *)
| YScrollCommand of (float -> float -> unit) (* tk option: -yscrollcommand [(float -> float -> unit)] *)
| YScrollIncrement of units (* tk option: -yscrollincrement [units] *)
;;
type options_constrs =
CAccelerator
| CActiveBackground
| CActiveBorderWidth
| CActiveForeground
| CActiveRelief
| CAfter
| CAlign
| CAnchor
| CArcStyle
| CArrowShape
| CArrowStyle
| CAspect
| CBackground
| CBefore
| CBgStipple
| CBigIncrement
| CBitmap
| CBorderMode
| CBorderWidth
| CCapStyle
| CClass
| CCloseEnough
| CColormap
| CColormode
| CCommand
| CConfine
| CCursor
| CData
| CDigits
| CDisabledForeground
| CElementBorderWidth
| CExpand
| CExportSelection
| CExtent
| CFgStipple
| CFile
| CFill
| CFillColor
| CFont
| CForeground
| CFormat
| CFrom
| CGamma
| CGeometry
| CHeight
| CHighlightBackground
| CHighlightColor
| CHighlightThickness
| CIPadX
| CIPadY
| CImageBitmap
| CImagePhoto
| CIn
| CIndicatorOn
| CInsertBackground
| CInsertBorderWidth
| CInsertOffTime
| CInsertOnTime
| CInsertWidth
| CJoinStyle
| CJump
| CJustify
| CLMargin1
| CLMargin2
| CLabel
| CLength
| CMaskdata
| CMaskfile
| CMenu
| COffValue
| COffset
| COnValue
| COrient
| COutline
| COutlineStipple
| COverStrike
| CPadX
| CPadY
| CPageAnchor
| CPageHeight
| CPageWidth
| CPageX
| CPageY
| CPalette
| CPostCommand
| CRMargin
| CRelHeight
| CRelWidth
| CRelX
| CRelY
| CRelief
| CRepeatDelay
| CRepeatInterval
| CResolution
| CRotate
| CScaleCommand
| CScreen
| CScrollCommand
| CScrollRegion
| CSelectBackground
| CSelectBorderWidth
| CSelectColor
| CSelectForeground
| CSelectImageBitmap
| CSelectImagePhoto
| CSelectMode
| CSetGrid
| CShow
| CShowValue
| CSide
| CSliderLength
| CSmooth
| CSpacing1
| CSpacing2
| CSpacing3
| CSplineSteps
| CStart
| CState
| CStipple
| CStretch
| CTabs
| CTags
| CTakeFocus
| CTearOff
| CText
| CTextHeight
| CTextVariable
| CTextWidth
| CThroughColor
| CTickInterval
| CTo
| CUnderline
| CUnderlinedChar
| CValue
| CVariable
| CVisual
| CWidth
| CWindow
| CWrap
| CWrapLength
| CX
| CXScrollCommand
| CXScrollIncrement
| CY
| CYScrollCommand
| CYScrollIncrement
;;(* /type *)
let options_any_table = [CAccelerator; CActiveBackground; CActiveBorderWidth; CActiveForeground; CActiveRelief; CAfter; CAlign; CAnchor; CArcStyle; CArrowShape; CArrowStyle; CAspect; CBackground; CBefore; CBgStipple; CBigIncrement; CBitmap; CBorderMode; CBorderWidth; CCapStyle; CClass; CCloseEnough; CColormap; CColormode; CCommand; CConfine; CCursor; CData; CDigits; CDisabledForeground; CElementBorderWidth; CExpand; CExportSelection; CExtent; CFgStipple; CFile; CFill; CFillColor; CFont; CForeground; CFormat; CFrom; CGamma; CGeometry; CHeight; CHighlightBackground; CHighlightColor; CHighlightThickness; CIPadX; CIPadY; CImageBitmap; CImagePhoto; CIn; CIndicatorOn; CInsertBackground; CInsertBorderWidth; CInsertOffTime; CInsertOnTime; CInsertWidth; CJoinStyle; CJump; CJustify; CLMargin1; CLMargin2; CLabel; CLength; CMaskdata; CMaskfile; CMenu; COffValue; COffset; COnValue; COrient; COutline; COutlineStipple; COverStrike; CPadX; CPadY; CPageAnchor; CPageHeight; CPageWidth; CPageX; CPageY; CPalette; CPostCommand; CRMargin; CRelHeight; CRelWidth; CRelX; CRelY; CRelief; CRepeatDelay; CRepeatInterval; CResolution; CRotate; CScaleCommand; CScreen; CScrollCommand; CScrollRegion; CSelectBackground; CSelectBorderWidth; CSelectColor; CSelectForeground; CSelectImageBitmap; CSelectImagePhoto; CSelectMode; CSetGrid; CShow; CShowValue; CSide; CSliderLength; CSmooth; CSpacing1; CSpacing2; CSpacing3; CSplineSteps; CStart; CState; CStipple; CStretch; CTabs; CTags; CTakeFocus; CTearOff; CText; CTextHeight; CTextVariable; CTextWidth; CThroughColor; CTickInterval; CTo; CUnderline; CUnderlinedChar; CValue; CVariable; CVisual; CWidth; CWindow; CWrap; CWrapLength; CX; CXScrollCommand; CXScrollIncrement; CY; CYScrollCommand; CYScrollIncrement]
;;
type searchSpec =
Above of tagOrId (* tk option: above [tagOrId] *)
| All (* tk option: all *)
| Below of tagOrId (* tk option: below [tagOrId] *)
| Closest of units * units (* tk option: closest [units] [units] *)
| ClosestHalo of units * units * units (* tk option: closest [units] [units] [units] *)
| ClosestHaloStart of units * units * units * tagOrId (* tk option: closest [units] [units] [units] [tagOrId] *)
| Enclosed of units * units * units * units (* tk option: enclosed [units] [units] [units] [units] *)
| Overlapping of int * int * int * int (* tk option: overlapping [int] [int] [int] [int] *)
| Withtag of tagOrId (* tk option: withtag [tagOrId] *)
;;
type canvasItem =
Arc_item (* tk option: arc *)
| Bitmap_item (* tk option: bitmap *)
| Image_item (* tk option: image *)
| Line_item (* tk option: line *)
| Oval_item (* tk option: oval *)
| Polygon_item (* tk option: polygon *)
| Rectangle_item (* tk option: rectangle *)
| Text_item (* tk option: text *)
| User_item of string (* tk option: [string] *)
| Window_item (* tk option: window *)
;;
type icccm =
DisplayOf of widget (* tk option: -displayof [widget] *)
| ICCCMFormat of string (* tk option: -format [string] *)
| ICCCMType of string (* tk option: -type [string] *)
| LostCommand of (unit -> unit) (* tk option: -command [(unit -> unit)] *)
| Selection of string (* tk option: -selection [string] *)
;;
type grabStatus =
GrabGlobal (* tk option: global *)
| GrabLocal (* tk option: local *)
| GrabNone (* tk option: none *)
;;
type menuItem =
Cascade_Item (* tk option: cascade *)
| Checkbutton_Item (* tk option: checkbutton *)
| Command_Item (* tk option: command *)
| Radiobutton_Item (* tk option: radiobutton *)
| Separator_Item (* tk option: separator *)
| TearOff_Item (* tk option: tearoff *)
;;
type optionPriority =
Interactive (* tk option: interactive *)
| Priority of int (* tk option: [int] *)
| StartupFile (* tk option: startupFile *)
| UserDefault (* tk option: userDefault *)
| WidgetDefault (* tk option: widgetDefault *)
;;
type photo =
ImgFormat of string (* tk option: -format [string] *)
| ImgFrom of int * int * int * int (* tk option: -from [int] [int] [int] [int] *)
| ImgTo of int * int * int * int (* tk option: -to [int] [int] [int] [int] *)
| Shrink (* tk option: -shrink *)
| Subsample of int * int (* tk option: -subsample [int] [int] *)
| TopLeft of int * int (* tk option: -to [int] [int] *)
| Zoom of int * int (* tk option: -zoom [int] [int] *)
;;
type widgetElement =
Arrow1 (* tk option: arrow1 *)
| Arrow2 (* tk option: arrow2 *)
| Beyond (* tk option: *)
| Slider (* tk option: slider *)
| Trough1 (* tk option: trough1 *)
| Trough2 (* tk option: trough2 *)
;;
type comparison =
EQ (* tk option: == *)
| GE (* tk option: >= *)
| GT (* tk option: > *)
| LE (* tk option: <= *)
| LT (* tk option: < *)
| NEQ (* tk option: != *)
;;
type markDirection =
Mark_Left (* tk option: left *)
| Mark_Right (* tk option: right *)
;;
type textSearch =
Backwards (* tk option: -backwards *)
| Count of textVariable (* tk option: -count [textVariable] *)
| Exact (* tk option: -exact *)
| Forwards (* tk option: -forwards *)
| Nocase (* tk option: -nocase *)
| Regexp (* tk option: -regexp *)
;;
type atomId =
AtomId of int (* tk option: [int] *)
;;
type focusModel =
FocusActive (* tk option: active *)
| FocusPassive (* tk option: passive *)
;;
type wmFrom =
FromProgram (* tk option: program *)
| FromUser (* tk option: user *)
;;