rem: return openNewTabOrWindow(event, url, null, 0); 
add: openNewTabWith(url, null); 
context: function middleMousePaste( event ){  var url = readFromClipboard();  if (!url)    return false;  url = getShortcutOrURI(url);  if (!url)    return false;  // On ctrl-middleclick, open in new tab.  if (event.ctrlKey)    return openNewTabOrWindow(event, url, null, 0);  // If ctrl wasn't down, then just load the url in the current win/tab.  loadURI(url);  event.preventBubble();  return true;}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/d842b2950577a851a584cd2177b02889b6dcf698/browser.js/buggy/browser/base/content/browser.js