diff options
author | Adam Chlipala <adamc@csail.mit.edu> | 2018-01-06 10:34:10 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-01-06 10:34:10 -0500 |
commit | 150df2983e01c5b4a5c561115471c3be5738bc84 (patch) | |
tree | 8466838fe834af4a134abafce3f0737a34de5427 /src | |
parent | 8604afcbc37276760ae74b2d1fbe200aa4b64dce (diff) | |
parent | 5d6b1ac92263d41c32e896603b4fa3e1790c9d71 (diff) |
Merge pull request #109 from vshabanov/master
Added oninput event and few more attributes
Diffstat (limited to 'src')
-rw-r--r-- | src/monoize.sml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/monoize.sml b/src/monoize.sml index ddf6cd4c..60ff78ea 100644 --- a/src/monoize.sml +++ b/src/monoize.sml @@ -3281,6 +3281,10 @@ fun monoExp (env, st, fm) (all as (e, loc)) = SOME (strcat [str "addOnChange(d,exec(", (L'.EJavaScript (L'.Script, e), loc), str "));"]) + | ("Oninput", e, _) => + SOME (strcat [str "addOnInput(d,exec(", + (L'.EJavaScript (L'.Script, e), loc), + str "));"]) | (x, e, (L'.TFun ((L'.TRecord [], _), _), _)) => SOME (strcat [str ("d." ^ lowercaseFirst x ^ "=exec("), (L'.EJavaScript (L'.Script, e), loc), |