From e6dd56d42a28138bcd9fdea52d0b232839c298dc Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 14 May 2009 11:04:56 -0400 Subject: cselect.onchange --- src/scriptcheck.sml | 26 ++++++++++++++++++++++++-- 1 file changed, 24 insertions(+), 2 deletions(-) (limited to 'src/scriptcheck.sml') diff --git a/src/scriptcheck.sml b/src/scriptcheck.sml index 61676dc6..834ff1c7 100644 --- a/src/scriptcheck.sml +++ b/src/scriptcheck.sml @@ -43,9 +43,31 @@ val pullBasis = SS.addList (SS.empty, 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 = ["