add: gCmdRedeal.disabled = !Game.redeal; 
context: function playGame(game) {  if(GameController) GameController.switchFrom();  savePref("current-game", game);  document.title = gStrings["game."+game];  GameController = Games[game];  GameController.switchTo();  updateUI();}
meta: 3385	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/3385/843c04869efd294331cd6dbe024e0911281167e9/main.js/clean/code/main.js