Trailing whitespace in domain name is URL encoded

[acidus99]

I noticed that if you have trailing whitespace in the domain name, it gets URL encoded

If you put this URL into the address bar: gemini://gemi.dev Lagrange converts the trailing space into %20, creating the invalid domain name gemi.dev%20 and displays an error:

I noticed this while copy+pasting a URL, which seems like a common probably where whitespace might accidentally get copied.

Consider having Lagrange to trim trailing whitespace off the URL. If you don't want to do this (so that people could have a file reachable at gemini://example.com/%20 then consider trimming whitespace where it would not be allowed. In this case, in the domain name.

[skyjake]

I think it wouldn't hurt to trim whitespace from text pasted into URL fields. IIRC that's already done in the mobile ports. Maybe the URL handling code could simply reject domain names with illegal characters like whitespace.

[zzo38]

I think it makes sense to trim spaces at the beginning and end of the URL. If you deliberately want a space at the beginning or end of a URL, you can type %20 instead.