2
<link rel="stylesheet" href="style.css" type="text/css">
3
<meta content="text/html; charset=iso-8859-1" http-equiv="Content-Type">
4
<link rel="Start" href="index.html">
5
<link title="Index of types" rel=Appendix href="index_types.html">
6
<link title="Index of exceptions" rel=Appendix href="index_exceptions.html">
7
<link title="Index of values" rel=Appendix href="index_values.html">
8
<link title="Index of modules" rel=Appendix href="index_modules.html">
9
<link title="Index of module types" rel=Appendix href="index_module_types.html">
10
<link title="Arg" rel="Chapter" href="Arg.html">
11
<link title="Arith_status" rel="Chapter" href="Arith_status.html">
12
<link title="Array" rel="Chapter" href="Array.html">
13
<link title="ArrayLabels" rel="Chapter" href="ArrayLabels.html">
14
<link title="Big_int" rel="Chapter" href="Big_int.html">
15
<link title="Bigarray" rel="Chapter" href="Bigarray.html">
16
<link title="Buffer" rel="Chapter" href="Buffer.html">
17
<link title="Callback" rel="Chapter" href="Callback.html">
18
<link title="CamlinternalMod" rel="Chapter" href="CamlinternalMod.html">
19
<link title="CamlinternalOO" rel="Chapter" href="CamlinternalOO.html">
20
<link title="Char" rel="Chapter" href="Char.html">
21
<link title="Complex" rel="Chapter" href="Complex.html">
22
<link title="Condition" rel="Chapter" href="Condition.html">
23
<link title="Dbm" rel="Chapter" href="Dbm.html">
24
<link title="Digest" rel="Chapter" href="Digest.html">
25
<link title="Dynlink" rel="Chapter" href="Dynlink.html">
26
<link title="Event" rel="Chapter" href="Event.html">
27
<link title="Filename" rel="Chapter" href="Filename.html">
28
<link title="Format" rel="Chapter" href="Format.html">
29
<link title="Gc" rel="Chapter" href="Gc.html">
30
<link title="Genlex" rel="Chapter" href="Genlex.html">
31
<link title="Graphics" rel="Chapter" href="Graphics.html">
32
<link title="GraphicsX11" rel="Chapter" href="GraphicsX11.html">
33
<link title="Hashtbl" rel="Chapter" href="Hashtbl.html">
34
<link title="Int32" rel="Chapter" href="Int32.html">
35
<link title="Int64" rel="Chapter" href="Int64.html">
36
<link title="Lazy" rel="Chapter" href="Lazy.html">
37
<link title="Lexing" rel="Chapter" href="Lexing.html">
38
<link title="List" rel="Chapter" href="List.html">
39
<link title="ListLabels" rel="Chapter" href="ListLabels.html">
40
<link title="Map" rel="Chapter" href="Map.html">
41
<link title="Marshal" rel="Chapter" href="Marshal.html">
42
<link title="MoreLabels" rel="Chapter" href="MoreLabels.html">
43
<link title="Mutex" rel="Chapter" href="Mutex.html">
44
<link title="Nativeint" rel="Chapter" href="Nativeint.html">
45
<link title="Num" rel="Chapter" href="Num.html">
46
<link title="Obj" rel="Chapter" href="Obj.html">
47
<link title="Oo" rel="Chapter" href="Oo.html">
48
<link title="Parsing" rel="Chapter" href="Parsing.html">
49
<link title="Pervasives" rel="Chapter" href="Pervasives.html">
50
<link title="Printexc" rel="Chapter" href="Printexc.html">
51
<link title="Printf" rel="Chapter" href="Printf.html">
52
<link title="Queue" rel="Chapter" href="Queue.html">
53
<link title="Random" rel="Chapter" href="Random.html">
54
<link title="Scanf" rel="Chapter" href="Scanf.html">
55
<link title="Set" rel="Chapter" href="Set.html">
56
<link title="Sort" rel="Chapter" href="Sort.html">
57
<link title="Stack" rel="Chapter" href="Stack.html">
58
<link title="StdLabels" rel="Chapter" href="StdLabels.html">
59
<link title="Str" rel="Chapter" href="Str.html">
60
<link title="Stream" rel="Chapter" href="Stream.html">
61
<link title="String" rel="Chapter" href="String.html">
62
<link title="StringLabels" rel="Chapter" href="StringLabels.html">
63
<link title="Sys" rel="Chapter" href="Sys.html">
64
<link title="Thread" rel="Chapter" href="Thread.html">
65
<link title="ThreadUnix" rel="Chapter" href="ThreadUnix.html">
66
<link title="Tk" rel="Chapter" href="Tk.html">
67
<link title="Unix" rel="Chapter" href="Unix.html">
68
<link title="UnixLabels" rel="Chapter" href="UnixLabels.html">
69
<link title="Weak" rel="Chapter" href="Weak.html"><title>Tk</title>
72
<code class="code"><span class="keyword">sig</span><br>
73
<span class="keyword">val</span> openTk :<br>
74
?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>
75
<span class="keyword">val</span> mainLoop : unit <span class="keywordsign">-></span> unit<br>
76
<span class="keyword">val</span> closeTk : unit <span class="keywordsign">-></span> unit<br>
77
<span class="keyword">val</span> destroy : <span class="keywordsign">'</span>a <span class="constructor">Widget</span>.widget <span class="keywordsign">-></span> unit<br>
78
<span class="keyword">val</span> update : unit <span class="keywordsign">-></span> unit<br>
79
<span class="keyword">val</span> appname_get : unit <span class="keywordsign">-></span> string<br>
80
<span class="keyword">val</span> appname_set : string <span class="keywordsign">-></span> unit<br>
81
<span class="keyword">type</span> units =<br>
82
[ <span class="keywordsign">`</span><span class="constructor">Cm</span> <span class="keyword">of</span> float<br>
83
<span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">In</span> <span class="keyword">of</span> float<br>
84
<span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Mm</span> <span class="keyword">of</span> float<br>
85
<span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Pix</span> <span class="keyword">of</span> int<br>
86
<span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Pt</span> <span class="keyword">of</span> float ]<br>
87
<span class="keyword">val</span> pixels : <span class="constructor">Tk</span>.units <span class="keywordsign">-></span> int<br>
88
<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>
89
<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>
90
<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>
91
<span class="keyword">val</span> pack :<br>
92
?after:<span class="keywordsign">'</span>a <span class="constructor">Widget</span>.widget <span class="keywordsign">-></span><br>
93
?anchor:<span class="constructor">Tk</span>.anchor <span class="keywordsign">-></span><br>
94
?before:<span class="keywordsign">'</span>b <span class="constructor">Widget</span>.widget <span class="keywordsign">-></span><br>
95
?expand:bool <span class="keywordsign">-></span><br>
96
?fill:<span class="constructor">Tk</span>.fillMode <span class="keywordsign">-></span><br>
97
?inside:<span class="keywordsign">'</span>c <span class="constructor">Widget</span>.widget <span class="keywordsign">-></span><br>
98
?ipadx:int <span class="keywordsign">-></span><br>
99
?ipady:int <span class="keywordsign">-></span><br>
100
?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>
101
<span class="keyword">val</span> grid :<br>
102
?column:int <span class="keywordsign">-></span><br>
103
?columnspan:int <span class="keywordsign">-></span><br>
104
?inside:<span class="keywordsign">'</span>a <span class="constructor">Widget</span>.widget <span class="keywordsign">-></span><br>
105
?ipadx:int <span class="keywordsign">-></span><br>
106
?ipady:int <span class="keywordsign">-></span><br>
107
?padx:int <span class="keywordsign">-></span><br>
108
?pady:int <span class="keywordsign">-></span><br>
109
?row:int <span class="keywordsign">-></span><br>
110
?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>
111
<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>
112
<span class="keyword">val</span> place :<br>
113
?anchor:<span class="constructor">Tk</span>.anchor <span class="keywordsign">-></span><br>
114
?bordermode:<span class="constructor">Tk</span>.borderMode <span class="keywordsign">-></span><br>
115
?height:int <span class="keywordsign">-></span><br>
116
?inside:<span class="keywordsign">'</span>a <span class="constructor">Widget</span>.widget <span class="keywordsign">-></span><br>
117
?relheight:float <span class="keywordsign">-></span><br>
118
?relwidth:float <span class="keywordsign">-></span><br>
119
?relx:float <span class="keywordsign">-></span><br>
120
?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>
121
<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>
122
<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>
123
<span class="keyword">type</span> modifier =<br>
124
[ <span class="keywordsign">`</span><span class="constructor">Alt</span><br>
125
<span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Button1</span><br>
126
<span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Button2</span><br>
127
<span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Button3</span><br>
128
<span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Button4</span><br>
129
<span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Button5</span><br>
130
<span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Control</span><br>
131
<span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Double</span><br>
132
<span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Lock</span><br>
133
<span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Meta</span><br>
134
<span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Mod1</span><br>
135
<span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Mod2</span><br>
136
<span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Mod3</span><br>
137
<span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Mod4</span><br>
138
<span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Mod5</span><br>
139
<span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Shift</span><br>
140
<span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Triple</span> ]<br>
141
<span class="keyword">type</span> event =<br>
142
[ <span class="keywordsign">`</span><span class="constructor">ButtonPress</span><br>
143
<span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">ButtonPressDetail</span> <span class="keyword">of</span> int<br>
144
<span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">ButtonRelease</span><br>
145
<span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">ButtonReleaseDetail</span> <span class="keyword">of</span> int<br>
146
<span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Circulate</span><br>
147
<span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">ColorMap</span><br>
148
<span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Configure</span><br>
149
<span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Destroy</span><br>
150
<span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Enter</span><br>
151
<span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Expose</span><br>
152
<span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">FocusIn</span><br>
153
<span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">FocusOut</span><br>
154
<span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Gravity</span><br>
155
<span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">KeyPress</span><br>
156
<span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">KeyPressDetail</span> <span class="keyword">of</span> string<br>
157
<span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">KeyRelease</span><br>
158
<span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">KeyReleaseDetail</span> <span class="keyword">of</span> string<br>
159
<span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Leave</span><br>
160
<span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Map</span><br>
161
<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>
162
<span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Motion</span><br>
163
<span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Property</span><br>
164
<span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Reparent</span><br>
165
<span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Unmap</span><br>
166
<span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Visibility</span> ]<br>
167
<span class="keyword">type</span> eventInfo = {<br>
168
<span class="keyword">mutable</span> ev_Above : int;<br>
169
<span class="keyword">mutable</span> ev_ButtonNumber : int;<br>
170
<span class="keyword">mutable</span> ev_Count : int;<br>
171
<span class="keyword">mutable</span> ev_Detail : string;<br>
172
<span class="keyword">mutable</span> ev_Focus : bool;<br>
173
<span class="keyword">mutable</span> ev_Height : int;<br>
174
<span class="keyword">mutable</span> ev_KeyCode : int;<br>
175
<span class="keyword">mutable</span> ev_Mode : string;<br>
176
<span class="keyword">mutable</span> ev_OverrideRedirect : bool;<br>
177
<span class="keyword">mutable</span> ev_Place : string;<br>
178
<span class="keyword">mutable</span> ev_State : string;<br>
179
<span class="keyword">mutable</span> ev_Time : int;<br>
180
<span class="keyword">mutable</span> ev_Width : int;<br>
181
<span class="keyword">mutable</span> ev_MouseX : int;<br>
182
<span class="keyword">mutable</span> ev_MouseY : int;<br>
183
<span class="keyword">mutable</span> ev_Char : string;<br>
184
<span class="keyword">mutable</span> ev_BorderWidth : int;<br>
185
<span class="keyword">mutable</span> ev_SendEvent : bool;<br>
186
<span class="keyword">mutable</span> ev_KeySymString : string;<br>
187
<span class="keyword">mutable</span> ev_KeySymInt : int;<br>
188
<span class="keyword">mutable</span> ev_RootWindow : int;<br>
189
<span class="keyword">mutable</span> ev_SubWindow : int;<br>
190
<span class="keyword">mutable</span> ev_Type : int;<br>
191
<span class="keyword">mutable</span> ev_Widget : <span class="constructor">Widget</span>.any <span class="constructor">Widget</span>.widget;<br>
192
<span class="keyword">mutable</span> ev_RootX : int;<br>
193
<span class="keyword">mutable</span> ev_RootY : int;<br>
195
<span class="keyword">type</span> eventField =<br>
196
[ <span class="keywordsign">`</span><span class="constructor">Above</span><br>
197
<span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">BorderWidth</span><br>
198
<span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">ButtonNumber</span><br>
199
<span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Char</span><br>
200
<span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Count</span><br>
201
<span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Detail</span><br>
202
<span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Focus</span><br>
203
<span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Height</span><br>
204
<span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">KeyCode</span><br>
205
<span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">KeySymInt</span><br>
206
<span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">KeySymString</span><br>
207
<span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Mode</span><br>
208
<span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">MouseX</span><br>
209
<span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">MouseY</span><br>
210
<span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">OverrideRedirect</span><br>
211
<span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Place</span><br>
212
<span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">RootWindow</span><br>
213
<span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">RootX</span><br>
214
<span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">RootY</span><br>
215
<span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">SendEvent</span><br>
216
<span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">State</span><br>
217
<span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">SubWindow</span><br>
218
<span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Time</span><br>
219
<span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Type</span><br>
220
<span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Widget</span><br>
221
<span class="keywordsign">|</span> <span class="keywordsign">`</span><span class="constructor">Width</span> ]<br>
222
<span class="keyword">val</span> bind :<br>
223
events:<span class="constructor">Tk</span>.event list <span class="keywordsign">-></span><br>
224
?extend:bool <span class="keywordsign">-></span><br>
225
?breakable:bool <span class="keywordsign">-></span><br>
226
?fields:<span class="constructor">Tk</span>.eventField list <span class="keywordsign">-></span><br>
227
?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>
228
<span class="keyword">val</span> bind_class :<br>
229
events:<span class="constructor">Tk</span>.event list <span class="keywordsign">-></span><br>
230
?extend:bool <span class="keywordsign">-></span><br>
231
?breakable:bool <span class="keywordsign">-></span><br>
232
?fields:<span class="constructor">Tk</span>.eventField list <span class="keywordsign">-></span><br>
233
?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>
234
<span class="keyword">val</span> bind_tag :<br>
235
events:<span class="constructor">Tk</span>.event list <span class="keywordsign">-></span><br>
236
?extend:bool <span class="keywordsign">-></span><br>
237
?breakable:bool <span class="keywordsign">-></span><br>
238
?fields:<span class="constructor">Tk</span>.eventField list <span class="keywordsign">-></span><br>
239
?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>
240
<span class="keyword">val</span> break : unit <span class="keywordsign">-></span> unit<br>
241
<span class="keyword">end</span></code></body></html>
b'\\ No newline at end of file'