rem: onLocationChange : function(location) { if(!locationFld) locationFld = document.getElementById("urlbar");    locationFld.setAttribute("value", location); } 
add: onLocationChange : function(aWebProgress, aRequest, aLocation) { this.urlBar.value = aLocation.spec; }, 
context:   onLocationChange : function(location)    {      if(!locationFld)        locationFld = document.getElementById("urlbar");      // We should probably not do this if the value has changed since the user       // searched      locationFld.setAttribute("value", location);    }
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/6a8593054508d0795994a9b6f88ba548607d7f05/mini-nav.js/buggy/embedding/browser/chrome/content/mini-nav.js