rem: var url = readFromClipboard(); dump ("URL on clipboard: '" + url + "'; length = " + url.length + "\n"); if (url.length > 0) 
add: if (!((target.tagName.toUpperCase() == "INPUT" && (target.type == "" || target.type.toUpperCase() == "TEXT")) || target.tagName.toUpperCase() == "TEXTAREA")) 
context: function browserLoadClipboardURL(target){  if (!((target.tagName.toUpperCase() == "INPUT"      && (target.type == "" || target.type.toUpperCase() == "TEXT"))      || target.tagName.toUpperCase() == "TEXTAREA"))  {    var url = readFromClipboard();    dump ("URL on clipboard: '" + url + "'; length = " + url.length + "\n");    if (url.length > 0)    {      var urlBar = document.getElementById("urlbar");      urlBar.value = url;      BrowserLoadURL();    }  }}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/f5a8a1af2368f6bc7df2ed21b3704dabca8c6809/navigator.js/buggy/suite/browser/navigator.js