Mercurial > urweb
diff src/settings.sml @ 1433:66092ce45a76
Ignore JavaScript events in Effectize; allow extra spaces for 'jsFunc'; eat carriage returns at line ends in .urp files
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Thu, 10 Mar 2011 20:22:03 -0500 |
parents | 36c0a1be3f5a |
children | 2f5fd248588d |
line wrap: on
line diff
--- a/src/settings.sml Thu Mar 10 19:26:35 2011 -0500 +++ b/src/settings.sml Thu Mar 10 20:22:03 2011 -0500 @@ -245,6 +245,7 @@ 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) +fun allJsFuncs () = M.listItemsi (!jsFuncs) datatype pattern_kind = Exact | Prefix datatype action = Allow | Deny