4 display: "play", //default: play!
5 problem: undefined, //current problem in view
8 const url
= window
.location
.href
;
9 const hashPos
= url
.indexOf("#");
10 console
.log(hashPos
+ " " + url
);
12 this.setDisplay(url
.substr(hashPos
+1));
15 showProblem: function(problemTxt
) {
16 this.problem
= JSON
.parse(problemTxt
);
17 this.display
= "play";
19 setDisplay: function(elt
) {
21 let menuToggle
= document
.getElementById("drawer-control");
23 menuToggle
.checked
= false;