comparison src/settings.sml @ 1785:ffd7ed3bc0b7

Basis.giveFocus
author Adam Chlipala <adam@chlipala.net>
date Sat, 21 Jul 2012 11:59:41 -0400
parents 5bc4fbf9c0fe
children 69daa6d70299
comparison
equal deleted inserted replaced
1784:e6bc6bbd7a32 1785:ffd7ed3bc0b7
175 "onKeyup", 175 "onKeyup",
176 "onMousedown", 176 "onMousedown",
177 "onMouseup", 177 "onMouseup",
178 "preventDefault", 178 "preventDefault",
179 "stopPropagation", 179 "stopPropagation",
180 "fresh"] 180 "fresh",
181 "giveFocus"]
181 182
182 val benign = ref benignBase 183 val benign = ref benignBase
183 fun setBenignEffectful ls = benign := S.addList (benignBase, ls) 184 fun setBenignEffectful ls = benign := S.addList (benignBase, ls)
184 fun isBenignEffectful x = S.member (!benign, x) 185 fun isBenignEffectful x = S.member (!benign, x)
185 186
203 "onKeypress", 204 "onKeypress",
204 "onKeyup", 205 "onKeyup",
205 "onMousedown", 206 "onMousedown",
206 "onMouseup", 207 "onMouseup",
207 "preventDefault", 208 "preventDefault",
208 "stopPropagation"] 209 "stopPropagation",
210 "giveFocus"]
209 val client = ref clientBase 211 val client = ref clientBase
210 fun setClientOnly ls = client := S.addList (clientBase, ls) 212 fun setClientOnly ls = client := S.addList (clientBase, ls)
211 fun isClientOnly x = S.member (!client, x) 213 fun isClientOnly x = S.member (!client, x)
212 214
213 val serverBase = basis ["requestHeader", 215 val serverBase = basis ["requestHeader",
320 322
321 ("fresh", "fresh"), 323 ("fresh", "fresh"),
322 324
323 ("atom", "atom"), 325 ("atom", "atom"),
324 ("css_url", "css_url"), 326 ("css_url", "css_url"),
325 ("property", "property")] 327 ("property", "property"),
328 ("giveFocus", "giveFocus")]
326 val jsFuncs = ref jsFuncsBase 329 val jsFuncs = ref jsFuncsBase
327 fun setJsFuncs ls = jsFuncs := foldl (fn ((k, v), m) => M.insert (m, k, v)) jsFuncsBase ls 330 fun setJsFuncs ls = jsFuncs := foldl (fn ((k, v), m) => M.insert (m, k, v)) jsFuncsBase ls
328 fun jsFunc x = M.find (!jsFuncs, x) 331 fun jsFunc x = M.find (!jsFuncs, x)
329 fun allJsFuncs () = M.listItemsi (!jsFuncs) 332 fun allJsFuncs () = M.listItemsi (!jsFuncs)
330 333