rem: element.addEventListener("popuphiding", this, false); 
add: element.addEventListener("popuphidden", this, false); 
context:   get panel() {    delete this.panel;    var element = document.getElementById("editBookmarkPanel");    // initially the panel is hidden    // to avoid impacting startup / new window performance    element.hidden = false;    element.addEventListener("popuphiding", this, false);    element.addEventListener("keypress", this, true);    return this.panel = element;  },
meta: 10234	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/10234/35d89dc35037ca67c2cfa444467976ce2bb79555/browser-places.js/clean/browser/base/content/browser-places.js