rem: this.options.selectedFormat = this.testManager.currentFormatInfo.id; optionsManager.save(this.options, 'selectedFormat'); 
context: function unloadRecorder() {	if (this.options.rememberBaseURL == 'true'){		this.options.baseURL = document.getElementById("baseURL").value;		optionsManager.save(this.options, 'baseURL');	}	this.options.selectedFormat = this.testManager.currentFormatInfo.id;	optionsManager.save(this.options, 'selectedFormat');		this.eventManager.stopForAllBrowsers();}
meta: 3175	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/3175/c10f875b8009748611ac6e3663074a62a23124a5/selenium-ide.js/clean/src/content/selenium-ide.js