comparison src/settings.sml @ 2189:43393a4a66ce

JavaScript versions of a few more functions
author Adam Chlipala <adam@chlipala.net>
date Sun, 01 Nov 2015 14:17:09 -0500
parents 14c45a0b6362
children fb113569519e 985c8016b592
comparison
equal deleted inserted replaced
2188:61866c765485 2189:43393a4a66ce
374 ("fresh", "fresh"), 374 ("fresh", "fresh"),
375 375
376 ("atom", "atom"), 376 ("atom", "atom"),
377 ("css_url", "css_url"), 377 ("css_url", "css_url"),
378 ("property", "property"), 378 ("property", "property"),
379 ("giveFocus", "giveFocus")] 379 ("giveFocus", "giveFocus"),
380
381 ("htmlifySpecialChar", "htmlifySpecialChar"),
382 ("chr", "chr")]
380 val jsFuncs = ref jsFuncsBase 383 val jsFuncs = ref jsFuncsBase
381 fun setJsFuncs ls = jsFuncs := foldl (fn ((k, v), m) => M.insert (m, k, v)) jsFuncsBase ls 384 fun setJsFuncs ls = jsFuncs := foldl (fn ((k, v), m) => M.insert (m, k, v)) jsFuncsBase ls
382 fun jsFunc x = M.find (!jsFuncs, x) 385 fun jsFunc x = M.find (!jsFuncs, x)
383 fun addJsFunc (k, v) = jsFuncs := M.insert (!jsFuncs, k, v) 386 fun addJsFunc (k, v) = jsFuncs := M.insert (!jsFuncs, k, v)
384 fun allJsFuncs () = M.listItemsi (!jsFuncs) 387 fun allJsFuncs () = M.listItemsi (!jsFuncs)