rem:  if(getBrowser().mPanelContainer.childNodes.length==1) { 
add:  if(getBrowser().mPanelContainer.childNodes.length>1) { 
context: function DoFullScreen(){  gFullScreen = !gFullScreen;    document.getElementById("nav-bar").hidden = gFullScreen;  // Maybe a simpler approach here, via some attribute or documented interface?  if(getBrowser().mPanelContainer.childNodes.length==1) {	  getBrowser().setStripVisibilityTo(!gFullScreen);  }     window.fullScreen = gFullScreen;    document.getElementById("nav-bar-contextual").hidden = !gFullScreen;      }
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/2ad3c152362d0c0efc58cd554da329e74affa5cc/minimo.js/buggy/minimo/chrome/content/minimo.js