f77be32992db56f0f3c9c020273c9c9660cb1398
4 display: "game", //default: play!
5 problem: undefined, //current problem in view
8 const url
= window
.location
.href
;
9 const hashPos
= url
.indexOf("#");
11 this.setDisplay(url
.substr(hashPos
+1));
14 showProblem: function(problemTxt
) {
15 this.problem
= JSON
.parse(problemTxt
);
16 this.display
= "game";
18 setDisplay: function(elt
) {
20 document
.getElementById("drawer-control").checked
= false;