Advertisement
Guest User

browser.js.patch

a guest
Feb 1st, 2012
358
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
Diff 0.75 KB | None | 0 0
  1. --- content/browser/browser.js.orig 2012-02-01 14:51:48.000000000 +0200
  2. +++ content/browser/browser.js  2012-02-01 14:53:31.000000000 +0200
  3. @@ -9004,12 +9004,17 @@
  4.  
  5.    let mayInheritPrincipal = { value: false };
  6.    let url = getShortcutOrURI(clipboard, mayInheritPrincipal);
  7. -  try {
  8. -    makeURI(url);
  9. -  } catch (ex) {
  10. -    // Not a valid URI.
  11. -    return;
  12. -  }
  13. +//  try {
  14. +//    makeURI(url);
  15. +//  } catch (ex) {
  16. +//    // Not a valid URI.
  17. +//    return;
  18. +//  }
  19. +
  20. +  var URIFixup = Components.classes["@mozilla.org/docshell/urifixup;1"]
  21. +                           .getService(Components.interfaces.nsIURIFixup);
  22. +  url = URIFixup.createFixupURI(url, 1).spec;
  23. +  // 1 is FIXUP_FLAG_ALLOW_KEYWORD_LOOKUP
  24.  
  25.    try {
  26.      addToUrlbarHistory(url);
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement