add: this.progressBGPosition = null;  /* To be removed, fix in onProgressChange ... */  
context:   destroy : function()  {    this.urlBar = null;    this.statusbarText = null;    this.stopreloadButton = null;    this.statusbar = null;  },
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/69daee357c7f2631f9f58ae4dc9ee8eb8628e62f/minimo.js/clean/minimo/chrome/content/minimo.js