Message461

Author dclemente
Recipients
Date 2009-10-15.14:55:44
Content
Now paste-url says „malformed URL“ if you had copied www.domain.com because it needs http://www.domain.com

This patch allows to paste www.domain.com too
Spaces are trimmed so that you can also paste "   www.domain.com " and it works.

diff --git a/modules/element.js b/modules/element.js
index 3022210..f569b80 100644
--- a/modules/element.js
+++ b/modules/element.js
@@ -154,10 +154,17 @@ define_browser_object_class("paste-url",
     "Browser object which reads an url from the X Primary Selection, "+
     "falling back on the clipboard for operating systems which lack one.",
     function (I, prompt) {
+		var url = read_from_x_primary_selection();
+		// trim spaces
+		url = url.replace(/^\s*|\s*$/,"");
+		// add http:// if needed
+		if (url.match(/^[^:]+\./)) {
+			url = "http://" + url;
+		}
         try {
-            return make_uri(read_from_x_primary_selection()).spec;
+            return make_uri(url).spec;
         } catch (e) {
-            throw new interactive_error("error: malformed url");
+            throw new interactive_error("error: malformed url: "+url);
         }
     });
History
Date User Action Args
2009-10-15 14:55:44dclementesetmessageid: <1255618544.82.0.86428352452.issue212@servo.cc>
2009-10-15 14:55:44dclementelinkissue212 messages
2009-10-15 14:55:44dclementecreate