Mercurial > urweb
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("]