819bf90fd10b6d8e9c4df595fe2fa09ee404346f
4 display: "play", //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
= "play";
18 setDisplay: function(elt
) {
20 let menuToggle
= document
.getElementById("drawer-control");
22 menuToggle
.checked
= false;
25 return variant
!= "Dark";