Permalink
Browse files

* Changed JEventType from String to Datatype

  • Loading branch information...
1 parent af57c63 commit 0875dd0d7dbbcc66960738c5d6e6d244cec5c1ef @spockz committed Jan 20, 2012
Showing with 7 additions and 7 deletions.
  1. +7 −7 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

0 comments on commit 0875dd0

Please sign in to comment.