rem: if(Game.canRedeal) gCmdRedeal.removeAttribute("disabled"); else gCmdRedeal.setAttribute("disabled","true"); 
context: function updateUI() {  if(Game.canUndo || GameController.havePastGames) gCmdUndo.removeAttribute("disabled");  else gCmdUndo.setAttribute("disabled","true");  if(Game.canRedo || GameController.haveFutureGames) gCmdRedo.removeAttribute("disabled");  else gCmdRedo.setAttribute("disabled","true");  if(Game.canRedeal) gCmdRedeal.removeAttribute("disabled");  else gCmdRedeal.setAttribute("disabled","true");}
meta: 3385	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/3385/843c04869efd294331cd6dbe024e0911281167e9/main.js/clean/code/main.js