rem: document.getElementById("toolbar-view").collapsed=!document.getElementById("toolbar-view").collapsed; 
add: document.getElementById("toolbar-view").collapsed=!document.getElementById("toolbar-view").collapsed; if(document.getElementById("toolbar-view").collapsed &&  document.getElementById("command_ViewOptions").getAttribute("checked")=="true") { document.getElementById("command_ViewOptions").setAttribute("checked","false"); } 
context: function BrowserViewOptions() {	document.getElementById("toolbar-view").collapsed=!document.getElementById("toolbar-view").collapsed;}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/9c108252ffc75a08bdbdbbac98a75e6f1a728841/minimo.js/clean/minimo/chrome/content/minimo.js