comparison src/settings.sml @ 1791:2f8b8952fe27

Add more global mouse event hooks
author Adam Chlipala <adam@chlipala.net>
date Mon, 23 Jul 2012 08:38:39 -0400
parents 69daa6d70299
children 3d922a28370b
comparison
equal deleted inserted replaced
1790:56b8efff64e7 1791:2f8b8952fe27
172 "onDblclick", 172 "onDblclick",
173 "onKeydown", 173 "onKeydown",
174 "onKeypress", 174 "onKeypress",
175 "onKeyup", 175 "onKeyup",
176 "onMousedown", 176 "onMousedown",
177 "onMousemove",
178 "onMouseout",
179 "onMouseover",
177 "onMouseup", 180 "onMouseup",
178 "preventDefault", 181 "preventDefault",
179 "stopPropagation", 182 "stopPropagation",
180 "fresh", 183 "fresh",
181 "giveFocus"] 184 "giveFocus"]
202 "onDblclick", 205 "onDblclick",
203 "onKeydown", 206 "onKeydown",
204 "onKeypress", 207 "onKeypress",
205 "onKeyup", 208 "onKeyup",
206 "onMousedown", 209 "onMousedown",
210 "onMousemove",
211 "onMouseout",
212 "onMouseover",
207 "onMouseup", 213 "onMouseup",
208 "preventDefault", 214 "preventDefault",
209 "stopPropagation", 215 "stopPropagation",
210 "giveFocus"] 216 "giveFocus"]
211 val client = ref clientBase 217 val client = ref clientBase
318 ("onDblclick", "uw_onDblclick"), 324 ("onDblclick", "uw_onDblclick"),
319 ("onKeydown", "uw_onKeydown"), 325 ("onKeydown", "uw_onKeydown"),
320 ("onKeypress", "uw_onKeypress"), 326 ("onKeypress", "uw_onKeypress"),
321 ("onKeyup", "uw_onKeyup"), 327 ("onKeyup", "uw_onKeyup"),
322 ("onMousedown", "uw_onMousedown"), 328 ("onMousedown", "uw_onMousedown"),
329 ("onMousemove", "uw_onMousemove"),
330 ("onMouseout", "uw_onMouseout"),
331 ("onMouseover", "uw_onMouseover"),
323 ("onMouseup", "uw_onMouseup"), 332 ("onMouseup", "uw_onMouseup"),
324 ("preventDefault", "uw_preventDefault"), 333 ("preventDefault", "uw_preventDefault"),
325 ("stopPropagation", "uw_stopPropagation"), 334 ("stopPropagation", "uw_stopPropagation"),
326 335
327 ("fresh", "fresh"), 336 ("fresh", "fresh"),