summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2014-01-01 10:51:47 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2014-01-01 10:51:47 -0500
commitf800cd41a5c6ccc10351583318ceba8374d5098a (patch)
treef7d2201b5f618915f1bd7bd4994405267071dee8 /src
parent88c9da518e509d60a0b69affb9f1b69e6dd86e28 (diff)
Add some URL-related benignEffectful functions
Diffstat (limited to 'src')
-rw-r--r--src/settings.sml5
1 files changed, 4 insertions, 1 deletions
diff --git a/src/settings.sml b/src/settings.sml
index 7a75985e..eaaa374d 100644
--- a/src/settings.sml
+++ b/src/settings.sml
@@ -187,7 +187,10 @@ val benignBase = basis ["get_cookie",
"preventDefault",
"stopPropagation",
"fresh",
- "giveFocus"]
+ "giveFocus",
+ "currentUrlHasPost",
+ "currentUrlHasQueryString",
+ "currentUrl"]
val benign = ref benignBase
fun setBenignEffectful ls = benign := S.addList (benignBase, ls)