add: addToUrlbarHistory(url); 
context:   function middleMousePaste( event )  {    var url = readFromClipboard();    if (!url)      return false;    url = getShortcutOrURI(url);    // On ctrl-middleclick, open in new window or tab.  Do not send referrer.    if (event.ctrlKey) {      // fix up our pasted URI in case it is malformed.      const nsIURIFixup = Components.interfaces.nsIURIFixup;      if (!gURIFixup)        gURIFixup = Components.classes["@mozilla.org/docshell/urifixup;1"]                              .getService(nsIURIFixup);      url = gURIFixup.createFixupURI(url, nsIURIFixup.FIXUP_FLAGS_MAKE_ALTERNATE_URI).spec;      return openNewTabOrWindow(event, url, false);    }    // If ctrl wasn't down, then just load the url in the current win/tab.    if (url != "about:blank") {      gURLBar.value = url;    }    loadURI(url);    event.preventBubble();    return true;  }
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/b20713ab5d87772d86a914ad9e58e5816cfc749a/contentAreaClick.js/clean/suite/common/contentAreaClick.js