rem: for(var i = 0; i != cs.length; ++i) cs[i].setFaceDown(); 
add: for(var i = 0; i != cs.length; ++i) { var c = cs[i]; c.faceUp = false; c.updateView(); } 
context:   undo: function() {    const done = this.actionsDone    const action = done.pop();    this.actionsUndone.push(action);    this.canRedo = true;    this.canUndo = done.length != 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].setFaceDown();    if(this.redealsRemaining==1) gCmdRedeal.removeAttribute("disabled");    if("undoNext" in action && action.undoNext) this.undo();  },
meta: 3385	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/3385/3db2dcdf553c1408855b1a2f5baf45627592732e/cardgame.js/clean/cardgame.js