<html><head> <link rel="stylesheet" href="style.css" type="text/css"> <meta content="text/html; charset=iso-8859-1" http-equiv="Content-Type"> <link rel="Start" href="index.html"> <link title="Index of types" rel=Appendix href="index_types.html"> <link title="Index of exceptions" rel=Appendix href="index_exceptions.html"> <link title="Index of values" rel=Appendix href="index_values.html"> <link title="Index of modules" rel=Appendix href="index_modules.html"> <link title="Index of module types" rel=Appendix href="index_module_types.html"> <link title="Arg" rel="Chapter" href="Arg.html"> <link title="Arith_status" rel="Chapter" href="Arith_status.html"> <link title="Array" rel="Chapter" href="Array.html"> <link title="ArrayLabels" rel="Chapter" href="ArrayLabels.html"> <link title="Big_int" rel="Chapter" href="Big_int.html"> <link title="Bigarray" rel="Chapter" href="Bigarray.html"> <link title="Buffer" rel="Chapter" href="Buffer.html"> <link title="Callback" rel="Chapter" href="Callback.html"> <link title="CamlinternalLazy" rel="Chapter" href="CamlinternalLazy.html"> <link title="CamlinternalMod" rel="Chapter" href="CamlinternalMod.html"> <link title="CamlinternalOO" rel="Chapter" href="CamlinternalOO.html"> <link title="Char" rel="Chapter" href="Char.html"> <link title="Complex" rel="Chapter" href="Complex.html"> <link title="Condition" rel="Chapter" href="Condition.html"> <link title="Dbm" rel="Chapter" href="Dbm.html"> <link title="Digest" rel="Chapter" href="Digest.html"> <link title="Dynlink" rel="Chapter" href="Dynlink.html"> <link title="Event" rel="Chapter" href="Event.html"> <link title="Filename" rel="Chapter" href="Filename.html"> <link title="Format" rel="Chapter" href="Format.html"> <link title="Gc" rel="Chapter" href="Gc.html"> <link title="Genlex" rel="Chapter" href="Genlex.html"> <link title="Graphics" rel="Chapter" href="Graphics.html"> <link title="GraphicsX11" rel="Chapter" href="GraphicsX11.html"> <link title="Hashtbl" rel="Chapter" href="Hashtbl.html"> <link title="Int32" rel="Chapter" href="Int32.html"> <link title="Int64" rel="Chapter" href="Int64.html"> <link title="Lazy" rel="Chapter" href="Lazy.html"> <link title="Lexing" rel="Chapter" href="Lexing.html"> <link title="List" rel="Chapter" href="List.html"> <link title="ListLabels" rel="Chapter" href="ListLabels.html"> <link title="Map" rel="Chapter" href="Map.html"> <link title="Marshal" rel="Chapter" href="Marshal.html"> <link title="MoreLabels" rel="Chapter" href="MoreLabels.html"> <link title="Mutex" rel="Chapter" href="Mutex.html"> <link title="Nativeint" rel="Chapter" href="Nativeint.html"> <link title="Num" rel="Chapter" href="Num.html"> <link title="Obj" rel="Chapter" href="Obj.html"> <link title="Oo" rel="Chapter" href="Oo.html"> <link title="Parsing" rel="Chapter" href="Parsing.html"> <link title="Pervasives" rel="Chapter" href="Pervasives.html"> <link title="Printexc" rel="Chapter" href="Printexc.html"> <link title="Printf" rel="Chapter" href="Printf.html"> <link title="Queue" rel="Chapter" href="Queue.html"> <link title="Random" rel="Chapter" href="Random.html"> <link title="Scanf" rel="Chapter" href="Scanf.html"> <link title="Set" rel="Chapter" href="Set.html"> <link title="Sort" rel="Chapter" href="Sort.html"> <link title="Stack" rel="Chapter" href="Stack.html"> <link title="StdLabels" rel="Chapter" href="StdLabels.html"> <link title="Str" rel="Chapter" href="Str.html"> <link title="Stream" rel="Chapter" href="Stream.html"> <link title="String" rel="Chapter" href="String.html"> <link title="StringLabels" rel="Chapter" href="StringLabels.html"> <link title="Sys" rel="Chapter" href="Sys.html"> <link title="Thread" rel="Chapter" href="Thread.html"> <link title="ThreadUnix" rel="Chapter" href="ThreadUnix.html"> <link title="Tk" rel="Chapter" href="Tk.html"> <link title="Unix" rel="Chapter" href="Unix.html"> <link title="UnixLabels" rel="Chapter" href="UnixLabels.html"> <link title="Weak" rel="Chapter" href="Weak.html"><title>Tk</title> </head> <body> <code class="code"><span class="keyword">sig</span><br> <span class="keyword">val</span> openTk :<br> ?display:string <span class="keywordsign">-></span> ?clas:string <span class="keywordsign">-></span> unit <span class="keywordsign">-></span> <span class="constructor">Widget</span>.toplevel <span class="constructor">Widget</span>.widget<br> <span class="keyword">val</span> mainLoop : unit <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> closeTk : unit <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> destroy : <span class="keywordsign">'</span>a <span class="constructor">Widget</span>.widget <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> update : unit <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> appname_get : unit <span class="keywordsign">-></span> string<br> <span class="keyword">val</span> appname_set : string <span class="keywordsign">-></span> unit<br> <span class="keyword">type</span> units =<br> [ <span class="keywordsign">`</span><span class="constructor">Cm</span> <span class="keyword">of</span> float<br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">In</span> <span class="keyword">of</span> float<br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Mm</span> <span class="keyword">of</span> float<br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Pix</span> <span class="keyword">of</span> int<br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Pt</span> <span class="keyword">of</span> float ]<br> <span class="keyword">val</span> pixels : <span class="constructor">Tk</span>.units <span class="keywordsign">-></span> int<br> <span class="keyword">type</span> anchor = [ <span class="keywordsign">`</span><span class="constructor">Center</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">E</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">N</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Ne</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Nw</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">S</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Se</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Sw</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">W</span> ]<br> <span class="keyword">type</span> fillMode = [ <span class="keywordsign">`</span><span class="constructor">Both</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">None</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">X</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Y</span> ]<br> <span class="keyword">type</span> side = [ <span class="keywordsign">`</span><span class="constructor">Bottom</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Left</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Right</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Top</span> ]<br> <span class="keyword">val</span> pack :<br> ?after:<span class="keywordsign">'</span>a <span class="constructor">Widget</span>.widget <span class="keywordsign">-></span><br> ?anchor:<span class="constructor">Tk</span>.anchor <span class="keywordsign">-></span><br> ?before:<span class="keywordsign">'</span>b <span class="constructor">Widget</span>.widget <span class="keywordsign">-></span><br> ?expand:bool <span class="keywordsign">-></span><br> ?fill:<span class="constructor">Tk</span>.fillMode <span class="keywordsign">-></span><br> ?inside:<span class="keywordsign">'</span>c <span class="constructor">Widget</span>.widget <span class="keywordsign">-></span><br> ?ipadx:int <span class="keywordsign">-></span><br> ?ipady:int <span class="keywordsign">-></span><br> ?padx:int <span class="keywordsign">-></span> ?pady:int <span class="keywordsign">-></span> ?side:<span class="constructor">Tk</span>.side <span class="keywordsign">-></span> <span class="keywordsign">'</span>d <span class="constructor">Widget</span>.widget list <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> grid :<br> ?column:int <span class="keywordsign">-></span><br> ?columnspan:int <span class="keywordsign">-></span><br> ?inside:<span class="keywordsign">'</span>a <span class="constructor">Widget</span>.widget <span class="keywordsign">-></span><br> ?ipadx:int <span class="keywordsign">-></span><br> ?ipady:int <span class="keywordsign">-></span><br> ?padx:int <span class="keywordsign">-></span><br> ?pady:int <span class="keywordsign">-></span><br> ?row:int <span class="keywordsign">-></span><br> ?rowspan:int <span class="keywordsign">-></span> ?sticky:string <span class="keywordsign">-></span> <span class="keywordsign">'</span>b <span class="constructor">Widget</span>.widget list <span class="keywordsign">-></span> unit<br> <span class="keyword">type</span> borderMode = [ <span class="keywordsign">`</span><span class="constructor">Ignore</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Inside</span> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Outside</span> ]<br> <span class="keyword">val</span> place :<br> ?anchor:<span class="constructor">Tk</span>.anchor <span class="keywordsign">-></span><br> ?bordermode:<span class="constructor">Tk</span>.borderMode <span class="keywordsign">-></span><br> ?height:int <span class="keywordsign">-></span><br> ?inside:<span class="keywordsign">'</span>a <span class="constructor">Widget</span>.widget <span class="keywordsign">-></span><br> ?relheight:float <span class="keywordsign">-></span><br> ?relwidth:float <span class="keywordsign">-></span><br> ?relx:float <span class="keywordsign">-></span><br> ?rely:float <span class="keywordsign">-></span> ?width:int <span class="keywordsign">-></span> ?x:int <span class="keywordsign">-></span> ?y:int <span class="keywordsign">-></span> <span class="keywordsign">'</span>b <span class="constructor">Widget</span>.widget <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> raise_window : ?above:<span class="keywordsign">'</span>a <span class="constructor">Widget</span>.widget <span class="keywordsign">-></span> <span class="keywordsign">'</span>b <span class="constructor">Widget</span>.widget <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> lower_window : ?below:<span class="keywordsign">'</span>a <span class="constructor">Widget</span>.widget <span class="keywordsign">-></span> <span class="keywordsign">'</span>b <span class="constructor">Widget</span>.widget <span class="keywordsign">-></span> unit<br> <span class="keyword">type</span> modifier =<br> [ <span class="keywordsign">`</span><span class="constructor">Alt</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Button1</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Button2</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Button3</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Button4</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Button5</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Control</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Double</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Lock</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Meta</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Mod1</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Mod2</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Mod3</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Mod4</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Mod5</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Shift</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Triple</span> ]<br> <span class="keyword">type</span> event =<br> [ <span class="keywordsign">`</span><span class="constructor">ButtonPress</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">ButtonPressDetail</span> <span class="keyword">of</span> int<br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">ButtonRelease</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">ButtonReleaseDetail</span> <span class="keyword">of</span> int<br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Circulate</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">ColorMap</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Configure</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Destroy</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Enter</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Expose</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">FocusIn</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">FocusOut</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Gravity</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">KeyPress</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">KeyPressDetail</span> <span class="keyword">of</span> string<br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">KeyRelease</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">KeyReleaseDetail</span> <span class="keyword">of</span> string<br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Leave</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Map</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Modified</span> <span class="keyword">of</span> <span class="constructor">Tk</span>.modifier list * <span class="constructor">Tk</span>.event<br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Motion</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Property</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Reparent</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Unmap</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Visibility</span> ]<br> <span class="keyword">type</span> eventInfo = {<br> <span class="keyword">mutable</span> ev_Above : int;<br> <span class="keyword">mutable</span> ev_ButtonNumber : int;<br> <span class="keyword">mutable</span> ev_Count : int;<br> <span class="keyword">mutable</span> ev_Detail : string;<br> <span class="keyword">mutable</span> ev_Focus : bool;<br> <span class="keyword">mutable</span> ev_Height : int;<br> <span class="keyword">mutable</span> ev_KeyCode : int;<br> <span class="keyword">mutable</span> ev_Mode : string;<br> <span class="keyword">mutable</span> ev_OverrideRedirect : bool;<br> <span class="keyword">mutable</span> ev_Place : string;<br> <span class="keyword">mutable</span> ev_State : string;<br> <span class="keyword">mutable</span> ev_Time : int;<br> <span class="keyword">mutable</span> ev_Width : int;<br> <span class="keyword">mutable</span> ev_MouseX : int;<br> <span class="keyword">mutable</span> ev_MouseY : int;<br> <span class="keyword">mutable</span> ev_Char : string;<br> <span class="keyword">mutable</span> ev_BorderWidth : int;<br> <span class="keyword">mutable</span> ev_SendEvent : bool;<br> <span class="keyword">mutable</span> ev_KeySymString : string;<br> <span class="keyword">mutable</span> ev_KeySymInt : int;<br> <span class="keyword">mutable</span> ev_RootWindow : int;<br> <span class="keyword">mutable</span> ev_SubWindow : int;<br> <span class="keyword">mutable</span> ev_Type : int;<br> <span class="keyword">mutable</span> ev_Widget : <span class="constructor">Widget</span>.any <span class="constructor">Widget</span>.widget;<br> <span class="keyword">mutable</span> ev_RootX : int;<br> <span class="keyword">mutable</span> ev_RootY : int;<br> }<br> <span class="keyword">type</span> eventField =<br> [ <span class="keywordsign">`</span><span class="constructor">Above</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">BorderWidth</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">ButtonNumber</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Char</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Count</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Detail</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Focus</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Height</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">KeyCode</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">KeySymInt</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">KeySymString</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Mode</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">MouseX</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">MouseY</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">OverrideRedirect</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Place</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">RootWindow</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">RootX</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">RootY</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">SendEvent</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">State</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">SubWindow</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Time</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Type</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Widget</span><br> <span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Width</span> ]<br> <span class="keyword">val</span> bind :<br> events:<span class="constructor">Tk</span>.event list <span class="keywordsign">-></span><br> ?extend:bool <span class="keywordsign">-></span><br> ?breakable:bool <span class="keywordsign">-></span><br> ?fields:<span class="constructor">Tk</span>.eventField list <span class="keywordsign">-></span><br> ?action:(<span class="constructor">Tk</span>.eventInfo <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">Widget</span>.widget <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> bind_class :<br> events:<span class="constructor">Tk</span>.event list <span class="keywordsign">-></span><br> ?extend:bool <span class="keywordsign">-></span><br> ?breakable:bool <span class="keywordsign">-></span><br> ?fields:<span class="constructor">Tk</span>.eventField list <span class="keywordsign">-></span><br> ?action:(<span class="constructor">Tk</span>.eventInfo <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> ?on:<span class="keywordsign">'</span>a <span class="constructor">Widget</span>.widget <span class="keywordsign">-></span> string <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> bind_tag :<br> events:<span class="constructor">Tk</span>.event list <span class="keywordsign">-></span><br> ?extend:bool <span class="keywordsign">-></span><br> ?breakable:bool <span class="keywordsign">-></span><br> ?fields:<span class="constructor">Tk</span>.eventField list <span class="keywordsign">-></span><br> ?action:(<span class="constructor">Tk</span>.eventInfo <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> ?on:<span class="keywordsign">'</span>a <span class="constructor">Widget</span>.widget <span class="keywordsign">-></span> string <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> break : unit <span class="keywordsign">-></span> unit<br> <span class="keyword">end</span></code></body></html>