Re: [PATCH][BUG]: eww doesnt trim whitespace from address

[Yuri Khan <yuri.v.khan@gmail.com>]

On Mon, Nov 3, 2014 at 7:46 PM, Ted Zlatanov <tzz@lifelogs.com> wrote:

> I also don't know if there are any exceptions to this--are there cases
> where you want to preserve the trailing space on a URL and/or encode
> them to "%20"?

For what it’s worth, the HTML5 specification now defines all
URL-valued attributes as “valid non-empty URL potentially surrounded
by spaces” and prescribes stripping out the surrounding spaces.

<a href=" &#x09;http://google.com/   &#x0a;">This is valid and leads
to Google</a>

eww could treat the user-specified URL similarly. Spaces at the end of
URL are rare (and at the beginning pretty much inexistent), and if the
user wants an explicit space at the end of URL, s?he can type an
explicit %20, + or other context-specific escape.