comparison src/settings.sml @ 1783:5bc4fbf9c0fe

New event records for key and mouse handlers
author Adam Chlipala <adam@chlipala.net>
date Sat, 21 Jul 2012 10:02:53 -0400
parents 818d4097e2ed
children ffd7ed3bc0b7
comparison
equal deleted inserted replaced
1782:61c7eb1d3867 1783:5bc4fbf9c0fe
158 "onError", 158 "onError",
159 "onFail", 159 "onFail",
160 "onConnectFail", 160 "onConnectFail",
161 "onDisconnect", 161 "onDisconnect",
162 "onServerError", 162 "onServerError",
163 "kc", 163 "mouseEvent",
164 "keyEvent",
164 "debug", 165 "debug",
165 "rand", 166 "rand",
166 "now", 167 "now",
167 "getHeader", 168 "getHeader",
168 "setHeader", 169 "setHeader",
192 "onError", 193 "onError",
193 "onFail", 194 "onFail",
194 "onConnectFail", 195 "onConnectFail",
195 "onDisconnect", 196 "onDisconnect",
196 "onServerError", 197 "onServerError",
197 "kc", 198 "mouseEvent",
199 "keyEvent",
198 "onClick", 200 "onClick",
199 "onDblclick", 201 "onDblclick",
200 "onKeydown", 202 "onKeydown",
201 "onKeypress", 203 "onKeypress",
202 "onKeyup", 204 "onKeyup",
265 ("strindex", "sidx"), 267 ("strindex", "sidx"),
266 ("strchr", "schr"), 268 ("strchr", "schr"),
267 ("substring", "ssub"), 269 ("substring", "ssub"),
268 ("strcspn", "sspn"), 270 ("strcspn", "sspn"),
269 ("strlenGe", "strlenGe"), 271 ("strlenGe", "strlenGe"),
270 ("kc", "kc"), 272 ("mouseEvent", "uw_mouseEvent"),
273 ("keyEvent", "uw_keyEvent"),
271 ("minTime", "0"), 274 ("minTime", "0"),
272 275
273 ("islower", "isLower"), 276 ("islower", "isLower"),
274 ("isupper", "isUpper"), 277 ("isupper", "isUpper"),
275 ("isalpha", "isAlpha"), 278 ("isalpha", "isAlpha"),