rem: if (event.ctrlKey) 
add: if (event.ctrlKey) {  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;  
context:   function middleMousePaste( event )  {    var url = readFromClipboard();    if (!url)      return false;    url = getShortcutOrURI(url);    if (!url)      return false;    // On ctrl-middleclick, open in new window or tab.  Do not send referrer.    if (event.ctrlKey)      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/2803dda55acb5d47eadf3c7d7bf8c77a1ccb2af5/contentAreaClick.js/clean/suite/common/contentAreaClick.js