add: saveSelectedFormat(); 
context: function selectFormatFromMenu() {	var e = document.getElementById("popup_formats");	var i;	for (i = e.childNodes.length - 1; i >= 0; i--) {		var checked = e.childNodes[i].getAttribute("checked");		if (checked == 'true') {			this.testManager.selectFormat(e.childNodes[i].getAttribute("value"));			break;		}	}}
meta: 3175	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/3175/c10f875b8009748611ac6e3663074a62a23124a5/selenium-ide.js/clean/src/content/selenium-ide.js