From 027e8d90fdd3f74698ed40974294fd053a70cd20 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 11 Sep 2011 14:14:49 -0400 Subject: New Basis functions: preventDefault and stopPropagation (code contributed by Vladimir Shabanov) --- src/settings.sml | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) (limited to 'src/settings.sml') diff --git a/src/settings.sml b/src/settings.sml index 9301e93e..ab1d7f88 100644 --- a/src/settings.sml +++ b/src/settings.sml @@ -156,6 +156,8 @@ val benignBase = basis ["get_cookie", "onKeyup", "onMousedown", "onMouseup", + "preventDefault", + "stopPropagation", "fresh"] val benign = ref benignBase @@ -182,7 +184,9 @@ val clientBase = basis ["get", "onKeypress", "onKeyup", "onMousedown", - "onMouseup"] + "onMouseup", + "preventDefault", + "stopPropagation"] val client = ref clientBase fun setClientOnly ls = client := S.addList (clientBase, ls) fun isClientOnly x = S.member (!client, x) @@ -280,6 +284,8 @@ val jsFuncsBase = basisM [("alert", "alert"), ("onKeyup", "uw_onKeyup"), ("onMousedown", "uw_onMousedown"), ("onMouseup", "uw_onMouseup"), + ("preventDefault", "uw_preventDefault"), + ("stopPropagation", "uw_stopPropagation"), ("fresh", "fresh")] val jsFuncs = ref jsFuncsBase -- cgit v1.2.3