rem:  gShowingMenuPopup != gShowingMenuPopup; 
context: function BrowserMenuPopup() {  if(!gShowingMenuPopup) {     document.getElementById("menu_MainPopup").showPopup(document.getElementById("menu-button"),-1,-1,"popup","bottomleft", "topleft");  } else {    document.getElementById("menu_MainPopup").hidePopup();  }   gShowingMenuPopup != gShowingMenuPopup;}
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/b5502d4a331847e647159aa57e73a9dffbb6af2a/minimo.js/buggy/minimo/chrome/content/minimo.js