add:  document.getElementById("nav-bar-contextual").hidden = !gFullScreen;  
context: function DoFullScreen(){  gFullScreen = !gFullScreen;    document.getElementById("nav-bar").hidden = gFullScreen;  getBrowser().setStripVisibilityTo(!gFullScreen);  window.fullScreen = gFullScreen;  }
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/10234/e0ccc9fc38f0ca96a1016766dd7e6edc90c34337/minimo.js/buggy/minimo/chrome/content/minimo.js