rem: searchwp.Overlay.searchbox.refreshTokens(); 
add: if (typeof(searchwp.Overlay.searchbox.rebuildTokens) == "function") { searchwp.Overlay.searchbox.rebuildTokens(); } 
context:   this.refresh = function() {    if (searchwp.Preferences.highlighted) {      unhighlight();      highlight();    }    else {      unhighlight();    }    searchwp.Overlay.searchbox.refreshTokens();  }
meta: 2588	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/2588/8cc43a8176bd94c77317b0ec821ef8ae0d1fc3b7/highlighting.js/buggy/src/chrome/content/highlighting.js