summaryrefslogtreecommitdiff
path: root/src/settings.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2011-03-10 20:22:03 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2011-03-10 20:22:03 -0500
commit1fe0be9d980e9a4a47874680e4ac4ee1de6dd374 (patch)
treeaacb1636006c4769a35985cd865b599a4ff6d8f9 /src/settings.sml
parentc824364cb48385480667ce646425d37ec0ad87b0 (diff)
Ignore JavaScript events in Effectize; allow extra spaces for 'jsFunc'; eat carriage returns at line ends in .urp files
Diffstat (limited to 'src/settings.sml')
-rw-r--r--src/settings.sml1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/settings.sml b/src/settings.sml
index f9af8879..541ff1b4 100644
--- a/src/settings.sml
+++ b/src/settings.sml
@@ -245,6 +245,7 @@ val jsFuncsBase = basisM [("alert", "alert"),
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