diff src/settings.sml @ 1556:e1f5d9c4cc20

An abstract type of IDs
author Adam Chlipala <adam@chlipala.net>
date Sat, 03 Sep 2011 12:51:05 -0400
parents d5c961c709f9
children df6a7a22760a
line wrap: on
line diff
--- a/src/settings.sml	Sat Sep 03 11:48:12 2011 -0400
+++ b/src/settings.sml	Sat Sep 03 12:51:05 2011 -0400
@@ -155,7 +155,8 @@
                         "onKeypress",
                         "onKeyup",
                         "onMousedown",
-                        "onMouseup"]
+                        "onMouseup",
+                        "fresh"]
 
 val benign = ref benignBase
 fun setBenignEffectful ls = benign := S.addList (benignBase, ls)
@@ -278,7 +279,9 @@
                           ("onKeypress", "uw_onKeypress"),
                           ("onKeyup", "uw_onKeyup"),
                           ("onMousedown", "uw_onMousedown"),
-                          ("onMouseup", "uw_onMouseup")]
+                          ("onMouseup", "uw_onMouseup"),
+
+                          ("fresh", "fresh")]
 val jsFuncs = ref jsFuncsBase
 fun setJsFuncs ls = jsFuncs := foldl (fn ((k, v), m) => M.insert (m, k, v)) jsFuncsBase ls
 fun jsFunc x = M.find (!jsFuncs, x)