comparison src/settings.sml @ 1952:cf7f7e51b0a2

Add some URL-related benignEffectful functions
author Adam Chlipala <adam@chlipala.net>
date Wed, 01 Jan 2014 10:51:47 -0500
parents b6aee1d5b9b1
children 0992323fa264
comparison
equal deleted inserted replaced
1951:ec8ee418df69 1952:cf7f7e51b0a2
185 "onMouseover", 185 "onMouseover",
186 "onMouseup", 186 "onMouseup",
187 "preventDefault", 187 "preventDefault",
188 "stopPropagation", 188 "stopPropagation",
189 "fresh", 189 "fresh",
190 "giveFocus"] 190 "giveFocus",
191 "currentUrlHasPost",
192 "currentUrlHasQueryString",
193 "currentUrl"]
191 194
192 val benign = ref benignBase 195 val benign = ref benignBase
193 fun setBenignEffectful ls = benign := S.addList (benignBase, ls) 196 fun setBenignEffectful ls = benign := S.addList (benignBase, ls)
194 fun isBenignEffectful x = S.member (!benign, x) 197 fun isBenignEffectful x = S.member (!benign, x)
195 198