diff src/scriptcheck.sml @ 799:9330ba3a2799

cselect.onchange
author Adam Chlipala <adamc@hcoop.net>
date Thu, 14 May 2009 11:04:56 -0400
parents f7e2026dd5ae
children 28e42b22424d
line wrap: on
line diff
--- a/src/scriptcheck.sml	Thu May 14 10:31:11 2009 -0400
+++ b/src/scriptcheck.sml	Thu May 14 11:04:56 2009 -0400
@@ -43,9 +43,31 @@
 val pushBasis = SS.addList (SS.empty,
                             ["new_channel",
                              "self"])
+
+val events = ["abort",
+              "blur",
+              "change",
+              "click",
+              "dblclick",
+              "error",
+              "focus",
+              "keydown",
+              "keypress",
+              "keyup",
+              "load",
+              "mousedown",
+              "mousemove",
+              "mouseout",
+              "mouseover",
+              "mouseup",
+              "reset",
+              "resize",
+              "select",
+              "submit",
+              "unload"]
                 
-val scriptWords = ["<script",
-                   " onclick='"]
+val scriptWords = "<script"
+                   :: map (fn s => "on" ^ s ^ " ='") events
 
 val pushWords = ["rv("]