changeset 1952:cf7f7e51b0a2

Add some URL-related benignEffectful functions
author Adam Chlipala <adam@chlipala.net>
date Wed, 01 Jan 2014 10:51:47 -0500 (2014-01-01)
parents ec8ee418df69
children 0992323fa264
files src/settings.sml
diffstat 1 files changed, 4 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/src/settings.sml	Tue Dec 31 11:10:19 2013 -0500
+++ b/src/settings.sml	Wed Jan 01 10:51:47 2014 -0500
@@ -187,7 +187,10 @@
                         "preventDefault",
                         "stopPropagation",
                         "fresh",
-                        "giveFocus"]
+                        "giveFocus",
+                        "currentUrlHasPost",
+                        "currentUrlHasQueryString",
+                        "currentUrl"]
 
 val benign = ref benignBase
 fun setBenignEffectful ls = benign := S.addList (benignBase, ls)