rem: gCmdHint.removeAttribute("disabled"); 
add: if(Game.getHints) gCmdHint.removeAttribute("disabled"); 
context: function enableUI() {  gUIEnabled = true;  gCmdHint.removeAttribute("disabled");  gCmdNewGame.removeAttribute("disabled");  gCmdRestartGame.removeAttribute("disabled");  gOptionsMenu.removeAttribute("disabled");  gGameSelector.removeAttribute("disabled");  if(Game.canUndo || GameController.havePastGames) gCmdUndo.removeAttribute("disabled");  if(Game.canRedo || GameController.haveFutureGames) gCmdRedo.removeAttribute("disabled");  if(Game.canRedeal()) gCmdRedeal.removeAttribute("disabled");}
meta: 3385	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/3385/f17d1f9fc9121a00dffc727b06433e15ef021429/cardslib.js/buggy/cardslib.js