rem: e.innerHTML = this.testManager.getFormat().format(this.testCase, OPTIONS, "Test Player"); 
add: e.innerHTML = this.testManager.getDefaultFormat().format(this.testCase, "Test Player", false, true); 
context: function loadPlayerTest(e) {	e.innerHTML = this.testManager.getFormat().format(this.testCase, OPTIONS, "Test Player");}
meta: 3428	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/3428/329f139376867a2fbc5f71fe5ca61e5663528e40/selenium-ide.js/clean/src/content/selenium-ide.js