add: document.getElementById("browserleftbar").collapsed = gFullScreen; 
context: function DoFullScreen(){  gFullScreen = !gFullScreen;    document.getElementById("nav-bar").hidden = gFullScreen;    // Is this the simpler approach to count tabs?   if(gBrowser.mPanelContainer.childNodes.length>1) {    gBrowser.setStripVisibilityTo(!gFullScreen);  }     window.fullScreen = gFullScreen;  }
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/3e700530b0891a6ade249e632f80df892117d55b/minimo.js/clean/minimo/chrome/content/minimo.js