rem: getBrowser().setStripVisibilityTo(!gFullScreen); 
add:  if(getBrowser().mPanelContainer.childNodes.length==1) { getBrowser().setStripVisibilityTo(!gFullScreen); }  
context: function DoFullScreen(){  gFullScreen = !gFullScreen;    document.getElementById("nav-bar").hidden = gFullScreen;  getBrowser().setStripVisibilityTo(!gFullScreen);  window.fullScreen = gFullScreen;    document.getElementById("nav-bar-contextual").hidden = !gFullScreen;      }
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/d45a73e83e2f2a0ed308d9c426d0972cc4d6ffb8/minimo.js/clean/minimo/chrome/content/minimo.js