Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- --- content/browser/browser.js.orig 2012-02-01 14:51:48.000000000 +0200
- +++ content/browser/browser.js 2012-02-01 14:53:31.000000000 +0200
- @@ -9004,12 +9004,17 @@
- let mayInheritPrincipal = { value: false };
- let url = getShortcutOrURI(clipboard, mayInheritPrincipal);
- - try {
- - makeURI(url);
- - } catch (ex) {
- - // Not a valid URI.
- - return;
- - }
- +// try {
- +// makeURI(url);
- +// } catch (ex) {
- +// // Not a valid URI.
- +// return;
- +// }
- +
- + var URIFixup = Components.classes["@mozilla.org/docshell/urifixup;1"]
- + .getService(Components.interfaces.nsIURIFixup);
- + url = URIFixup.createFixupURI(url, 1).spec;
- + // 1 is FIXUP_FLAG_ALLOW_KEYWORD_LOOKUP
- try {
- addToUrlbarHistory(url);
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement