# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1388591507 18000
# Node ID cf7f7e51b0a2b93ac8ed5ee3b891ac36db8b666b
# Parent  ec8ee418df69603b4ae755eaee689783cb5692a8
Add some URL-related benignEffectful functions

diff -r ec8ee418df69 -r cf7f7e51b0a2 src/settings.sml
--- 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)