* Changed JEventType from String to Datatype

UU-ComputerScience · Jan 20, 2012 · 0875dd0 · 0875dd0
1 parent af57c63
commit 0875dd0
Showing 1 changed file with 7 additions and 7 deletions.
diff --git a/resources/static/hjs/jcu.hs b/resources/static/hjs/jcu.hs
@@ -83,11 +83,11 @@ initialize = do -- Rendering
 
                 addRuleTree
 
-                registerEvents [("#btnCheck"  , "click"   , toggleClue emptyProof)
-                               ,("#btnAddRule", "click"   , addRuleEvent)
-                               ,("#btnReset"  , "click"   , resetTree)
-                               ,("#txtAddRule", "keypress", noevent)
-                               ,("#txtAddRule", "blur"    , checkTermSyntax)
+                registerEvents [("#btnCheck"  , Click    , toggleClue emptyProof)
+                               ,("#btnAddRule", Click    , addRuleEvent)
+                               ,("#btnReset"  , Click    , resetTree)
+                               ,("#txtAddRule", KeyPress , noevent)
+                               ,("#txtAddRule", Blur     , checkTermSyntax)
                                ]
   where noevent :: EventHandler
         noevent x = return False
@@ -181,8 +181,8 @@ replaceRuleTree p = do
   newUL <- buildRuleUl p status
 
   -- Store new proof in the subst funct
-  registerEvents [("#btnCheck", "click", toggleClue p)
-                 ,("#btnSubst", "click", doSubst p)
+  registerEvents [("#btnCheck", Click , toggleClue p)
+                 ,("#btnSubst", Click , doSubst p)
                  ]
   -- Draw the new ruleTree
   replaceWith oldUL newUL