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