add:   element.hidden = false; 
context:   get panel() {    delete this.panel;    var element = document.getElementById("editBookmarkPanel");    element.addEventListener("popuphiding", this, false);    element.addEventListener("keypress", this, true);    return this.panel = element;  },
meta: 10520	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/10520/a90ac7d957579b6d8802e2ab985f6e537fee5a45/browser-places.js/buggy/browser/base/content/browser-places.js