f9fb0c62dd5aa3796de21b34ec687c6a2c3caa16
4 display: "game", //default: play!
5 problem: undefined, //current problem in view
8 showProblem: function(problemTxt
) {
9 this.problem
= JSON
.parse(problemTxt
);
10 this.display
= "game";
12 setDisplay: function(elt
) {
14 document
.getElementById("drawer-control").checked
= false;