Previous  Up  Next

Module Tk

module Tk: sig .. end
val opentk : unit -> Widget.toplevel Widget.widget
val keywords : (string * Arg.spec * string) list
val opentk_with_args : string list -> Widget.toplevel Widget.widget
val openTk : ?display:string -> ?clas:string -> unit -> Widget.toplevel Widget.widget
val openTkClass : string -> Widget.toplevel Widget.widget
val openTkDisplayClass : string -> string -> Widget.toplevel Widget.widget
val closeTk : unit -> unit
val mainLoop : unit -> unit
val register : string -> callback:(Protocol.callback_buffer -> unit) -> unit
val may : ('a -> 'b) -> 'a option -> 'b option
val maycons : ('a -> 'b) -> 'a option -> 'b list -> 'b list
val coe : 'a Widget.widget -> Widget.any Widget.widget
type filePattern = {
   typename : string;
   extensions : string list;
   mactypes : string list;
} 
val cCAMLtoTKfilePattern : filePattern -> Protocol.tkArgs
type bitmap = [ `File of string | `Predefined of string ] 
type color = [ `Black | `Blue | `Color of string | `Green | `Red | `White | `Yellow ] 
type cursor = [ `Cursorfilefg of string * color
       | `Cursormaskfile of string * string * color * color
       | `Xcursor of string
       | `Xcursorfg of string * color
       | `Xcursorfgbg of string * color * color ] 
type units = [ `Cm of float | `In of float | `Mm of float | `Pix of int | `Pt of float ] 
type scrollValue = [ `Moveto of float | `Page of int | `Unit of int ] 
type event = [ `Activate
       | `ButtonPress
       | `ButtonPressDetail of int
       | `ButtonRelease
       | `ButtonReleaseDetail of int
       | `Circulate
       | `Colormap
       | `Configure
       | `Deactivate
       | `Destroy
       | `Enter
       | `Expose
       | `FocusIn
       | `FocusOut
       | `Gravity
       | `KeyPress
       | `KeyPressDetail of string
       | `KeyRelease
       | `KeyReleaseDetail of string
       | `Leave
       | `Map
       | `Modified of modifier list * event
       | `Motion
       | `Property
       | `Reparent
       | `Unmap
       | `Virtual of string
       | `Visibility ] 
type modifier = [ `Alt
       | `Button1
       | `Button2
       | `Button3
       | `Button4
       | `Button5
       | `Control
       | `Double
       | `Lock
       | `Meta
       | `Mod1
       | `Mod2
       | `Mod3
       | `Mod4
       | `Mod5
       | `Shift
       | `Triple ] 
type eventInfo = {
   mutable ev_Above : int;
   mutable ev_ButtonNumber : int;
   mutable ev_Count : int;
   mutable ev_Detail : string;
   mutable ev_Focus : bool;
   mutable ev_Height : int;
   mutable ev_KeyCode : int;
   mutable ev_Mode : string;
   mutable ev_OverrideRedirect : bool;
   mutable ev_Place : string;
   mutable ev_State : string;
   mutable ev_Time : int;
   mutable ev_Width : int;
   mutable ev_MouseX : int;
   mutable ev_MouseY : int;
   mutable ev_Char : string;
   mutable ev_BorderWidth : int;
   mutable ev_SendEvent : bool;
   mutable ev_KeySymString : string;
   mutable ev_KeySymInt : int;
   mutable ev_RootWindow : int;
   mutable ev_SubWindow : int;
   mutable ev_Type : int;
   mutable ev_Widget : Widget.any Widget.widget;
   mutable ev_RootX : int;
   mutable ev_RootY : int;
} 
type eventField = [ `Above
       | `BorderWidth
       | `ButtonNumber
       | `Char
       | `Count
       | `Detail
       | `Focus
       | `Height
       | `KeyCode
       | `KeySymInt
       | `KeySymString
       | `Mode
       | `MouseX
       | `MouseY
       | `OverrideRedirect
       | `Place
       | `RootWindow
       | `RootX
       | `RootY
       | `SendEvent
       | `State
       | `SubWindow
       | `Time
       | `Type
       | `Widget
       | `Width ] 
val filleventInfo : eventInfo -> string -> eventField -> unit
val wrapeventInfo : (eventInfo -> 'a) -> eventField list -> string list -> 'a
val writeeventField : eventField list -> string
type bindings = [ `Tag of string | `Widget of Widget.any Widget.widget ] 
type font = string 
type grabGlobal = bool 
type canvas_index = [ `Atxy of int * int | `End | `Insert | `Num of int | `Selfirst | `Sellast ] 
type entry_index = [ `Anchor | `At of int | `End | `Insert | `Num of int | `Selfirst | `Sellast ] 
type listbox_index = [ `Active | `Anchor | `Atxy of int * int | `End | `Num of int ] 
type menu_index = [ `Active
       | `At of int
       | `End
       | `Last
       | `None
       | `Num of int
       | `Pattern of string ] 
type text_index = [ `Atxy of int * int
       | `End
       | `Image of string
       | `Linechar of int * int
       | `Mark of string
       | `Tagfirst of string
       | `Taglast of string
       | `Window of Widget.any Widget.widget ] 
type linechar_index = int * int 
type num_index = int 
type paletteType = [ `Gray of int | `Rgb of int * int * int ] 
type textMark = string 
type textTag = string 
type textModifier = [ `Char of int | `Line of int | `Lineend | `Linestart | `Wordend | `Wordstart ] 
type textIndex = text_index * textModifier list 
type anchor = [ `Center | `E | `N | `Ne | `Nw | `S | `Se | `Sw | `W ] 
type image = [ `Bitmap of string | `Photo of string ] 
type justification = [ `Center | `Left | `Right ] 
type orientation = [ `Horizontal | `Vertical ] 
type relief = [ `Flat | `Groove | `Raised | `Ridge | `Solid | `Sunken ] 
type state = [ `Active | `Disabled | `Hidden | `Normal ] 
type colorMode = [ `Color | `Gray | `Mono ] 
type arcStyle = [ `Arc | `Chord | `Pieslice ] 
type arrowStyle = [ `Both | `First | `Last | `None ] 
type capStyle = [ `Butt | `Projecting | `Round ] 
type joinStyle = [ `Bevel | `Miter | `Round ] 
type canvasTextState = [ `Disabled | `Hidden | `Normal ] 
type inputState = [ `Disabled | `Normal ] 
type weight = [ `Bold | `Normal ] 
type slant = [ `Italic | `Roman ] 
type visual = [ `Best
       | `Bestdepth of int
       | `Clas of string * int
       | `Default
       | `Widget of Widget.any Widget.widget ] 
type colormap = [ `New | `Widget of Widget.any Widget.widget ] 
type selectModeType = [ `Browse | `Extended | `Multiple | `Single ] 
type menuType = [ `Menubar | `Normal | `Tearoff ] 
type menubuttonDirection = [ `Above | `Below | `Left | `Right ] 
type fillMode = [ `Both | `None | `X | `Y ] 
type side = [ `Bottom | `Left | `Right | `Top ] 
type borderMode = [ `Ignore | `Inside | `Outside ] 
type alignType = [ `Baseline | `Bottom | `Center | `Top ] 
type wrapMode = [ `Char | `None | `Word ] 
type tabType = [ `TabCenter of int | `TabLeft of int | `TabNumeric of int | `TabRight of int ] 
type messageIcon = [ `Error | `Info | `Question | `Warning ] 
type messageType = [ `Abortretryignore | `Ok | `Okcancel | `Retrycancel | `Yesno | `Yesnocancel ] 
type tagOrId = [ `Id of int | `Tag of string ] 
type imageBitmap = [ `Bitmap of string ] 
type imagePhoto = [ `Photo of string ] 
type searchSpec = [ `Above of tagOrId
       | `All
       | `Below of tagOrId
       | `Closest of int * int
       | `Closesthalo of int * int * int
       | `Closesthalostart of int * int * int * tagOrId
       | `Enclosed of int * int * int * int
       | `Overlapping of int * int * int * int
       | `Withtag of tagOrId ] 
type canvasItem = [ `Arc
       | `Bitmap
       | `Image
       | `Line
       | `Oval
       | `Polygon
       | `Rectangle
       | `Text
       | `User_item of string
       | `Window ] 
type fontMetrics = [ `Ascent | `Descent | `Fixed | `Linespace ] 
type grabStatus = [ `Global | `Local | `None ] 
type menuItem = [ `Cascade | `Checkbutton | `Command | `Radiobutton | `Separator | `Tearoff ] 
type optionPriority = [ `Interactive
       | `Priority of int
       | `StartupFile
       | `UserDefault
       | `WidgetDefault ] 
type scaleElement = [ `Beyond | `Slider | `Trough1 | `Trough2 ] 
type scrollbarElement = [ `Arrow1 | `Arrow2 | `Beyond | `Slider | `Through1 | `Through2 ] 
type sendOption = [ `Async | `Displayof of Widget.any Widget.widget ] 
type comparison = [ `Eq | `Ge | `Gt | `Le | `Lt | `Neq ] 
type markDirection = [ `Left | `Right ] 
type textSearch = [ `Backwards
       | `Count of Textvariable.textVariable
       | `Exact
       | `Forwards
       | `Nocase
       | `Regexp ] 
type text_dump = [ `All
       | `Command of key:string -> value:string -> index:string -> unit
       | `Mark
       | `Tag
       | `Text
       | `Window ] 
type atomId = [ `AtomId of int ] 
type focusModel = [ `Active | `Passive ] 
type wmFrom = [ `Program | `User ] 
module Tkintf: sig .. end
val pixels : units -> int
val bind_class : events:event list ->
       ?extend:bool ->
       ?breakable:bool ->
       ?fields:eventField list ->
       ?action:(eventInfo -> unit) -> ?on:'a Widget.widget -> string -> unit
val bind : events:event list ->
       ?extend:bool ->
       ?breakable:bool ->
       ?fields:eventField list ->
       ?action:(eventInfo -> unit) -> 'a Widget.widget -> unit
val bind_tag : events:event list ->
       ?extend:bool ->
       ?breakable:bool ->
       ?fields:eventField list ->
       ?action:(eventInfo -> unit) -> ?on:'a Widget.widget -> string -> unit
val break : unit -> unit
val messageBox : ?default:string ->
       ?icon:messageIcon ->
       ?message:string ->
       ?parent:'a Widget.widget ->
       ?title:string -> ?typ:messageType -> unit -> string
val getSaveFile : ?defaultextension:string ->
       ?filetypes:filePattern list ->
       ?initialdir:string ->
       ?initialfile:string ->
       ?parent:'a Widget.widget -> ?title:string -> unit -> string
val getOpenFile : ?defaultextension:string ->
       ?filetypes:filePattern list ->
       ?initialdir:string ->
       ?initialfile:string ->
       ?parent:'a Widget.widget -> ?title:string -> unit -> string
val update_idletasks : unit -> unit
val update : unit -> unit
val chooseColor : ?initialcolor:color ->
       ?parent:'a Widget.widget -> ?title:string -> unit -> [> `Color of string ]
val scaling_set : ?displayof:'a Widget.widget -> float -> unit
val scaling_get : ?displayof:'a Widget.widget -> unit -> float
val appname_get : unit -> string
val appname_set : string -> unit
val send : sendOption list -> app:string -> command:string list -> unit
val raise_window : ?above:'a Widget.widget -> 'b Widget.widget -> unit
val place : ?anchor:anchor ->
       ?bordermode:borderMode ->
       ?height:int ->
       ?inside:'a Widget.widget ->
       ?relheight:float ->
       ?relwidth:float ->
       ?relx:float ->
       ?rely:float -> ?width:int -> ?x:int -> ?y:int -> 'b Widget.widget -> unit
val pack : ?after:'a Widget.widget ->
       ?anchor:anchor ->
       ?before:'b Widget.widget ->
       ?expand:bool ->
       ?fill:fillMode ->
       ?inside:'c Widget.widget ->
       ?ipadx:int ->
       ?ipady:int ->
       ?padx:int -> ?pady:int -> ?side:side -> 'd Widget.widget list -> unit
val lower_window : ?below:'a Widget.widget -> 'b Widget.widget -> unit
val grid : ?column:int ->
       ?columnspan:int ->
       ?inside:'a Widget.widget ->
       ?ipadx:int ->
       ?ipady:int ->
       ?padx:int ->
       ?pady:int ->
       ?row:int -> ?rowspan:int -> ?sticky:string -> 'b Widget.widget list -> unit
val destroy : 'a Widget.widget -> unit
val bindtags_get : 'a Widget.widget ->
       [> `Tag of string | `Widget of Widget.any Widget.widget ] list
val bindtags : 'a Widget.widget ->
       bindings:[< `Tag of string | `Widget of 'b Widget.widget ] list -> unit
val cget : 'a Widget.widget ->
       [< `Accelerator
        | `Activebackground
        | `Activeborderwidth
        | `Activeforeground
        | `Activerelief
        | `After
        | `Align
        | `Anchor
        | `Arrow
        | `Arrowshape
        | `Aspect
        | `Background
        | `Before
        | `Bgstipple
        | `Bigincrement
        | `Bitmap
        | `Bordermode
        | `Borderwidth
        | `Capstyle
        | `Class
        | `Closeenough
        | `Colormap
        | `Colormode
        | `Column
        | `Columnbreak
        | `Columnspan
        | `Command
        | `Confine
        | `Container
        | `Cursor
        | `Dash
        | `Data
        | `Default
        | `Defaultextension
        | `Digits
        | `Direction
        | `Disabledforeground
        | `Elementborderwidth
        | `Expand
        | `Exportselection
        | `Extent
        | `Family
        | `Fgstipple
        | `File
        | `Filetypes
        | `Fill
        | `Font
        | `Foreground
        | `Format
        | `Gamma
        | `Geometry
        | `Height
        | `Hidemargin
        | `Highlightbackground
        | `Highlightcolor
        | `Highlightthickness
        | `Icon
        | `Image
        | `Indicatoron
        | `Initialcolor
        | `Initialdir
        | `Initialfile
        | `Insertbackground
        | `Insertborderwidth
        | `Insertofftime
        | `Insertontime
        | `Insertwidth
        | `Inside
        | `Ipadx
        | `Ipady
        | `Joinstyle
        | `Jump
        | `Justify
        | `Label
        | `Length
        | `Lmargin1
        | `Lmargin2
        | `Maskdata
        | `Maskfile
        | `Max
        | `Menu
        | `Message
        | `Min
        | `Minsize
        | `Name
        | `Offset
        | `Offvalue
        | `Onvalue
        | `Orient
        | `Outline
        | `Outlinestipple
        | `Overstrike
        | `Pad
        | `Padx
        | `Pady
        | `Pageanchor
        | `Pageheight
        | `Pagewidth
        | `Pagex
        | `Pagey
        | `Palette
        | `Parent
        | `Postcommand
        | `Relheight
        | `Relief
        | `Relwidth
        | `Relx
        | `Rely
        | `Repeatdelay
        | `Repeatinterval
        | `Resolution
        | `Rmargin
        | `Rotate
        | `Row
        | `Rowspan
        | `Screen
        | `Scrollregion
        | `Selectbackground
        | `Selectborderwidth
        | `Selectcolor
        | `Selectforeground
        | `Selectimage
        | `Selectmode
        | `Setgrid
        | `Show
        | `Showvalue
        | `Side
        | `Size
        | `Slant
        | `Sliderlength
        | `Smooth
        | `Spacing1
        | `Spacing2
        | `Spacing3
        | `Splinesteps
        | `Start
        | `State
        | `Sticky
        | `Stipple
        | `Stretch
        | `Style
        | `Tabs
        | `Tags
        | `Takefocus
        | `Tearoff
        | `Tearoffcommand
        | `Text
        | `Textvariable
        | `Textwidth
        | `Tickinterval
        | `Title
        | `Troughcolor
        | `Type
        | `Underline
        | `Use
        | `Value
        | `Variable
        | `Visual
        | `Weight
        | `Width
        | `Window
        | `Wrap
        | `Wraplength
        | `X
        | `Xscrollcommand
        | `Xscrollincrement
        | `Y
        | `Yscrollcommand
        | `Yscrollincrement ] ->
       string
val cgets : 'a Widget.widget -> string -> string