rem:  if(this.redealsRemaining==1) gCmdRedeal.removeAttribute("disabled"); 
context:   undo: function() {    const ptr = --this.actionPtr;    const action = this.actionList[ptr];    this.canRedo = true;    this.canUndo = ptr != 0;    gScoreDisplay.value = this.score -= action.score;    this.hintsReady = false;    action.undo();    const cs = action.revealedCards || [];    for(var i = 0; i != cs.length; ++i) cs[i].setFaceUp(false);    if(this.redealsRemaining==1) gCmdRedeal.removeAttribute("disabled");  },
meta: 3385	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/3385/843c04869efd294331cd6dbe024e0911281167e9/lib-game.js/buggy/code/lib-game.js