rem: GameController.switchFrom(); 
add: if(GameController) GameController.switchFrom(); 
context: function playGame(game) {  GameController.switchFrom();  gPrefs.setCharPref("current-game",game);  document.title = gStrings["game."+game];  GameController = Games[game];  GameController.switchTo();  updateUI();}
meta: 3385	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/3385/9c50ed94fb7a3278a429c697fad783c8a4c23b9b/cardslib.js/clean/cardslib.js