RFR: JDK-8275406: Add copy-to-clipboard feature to snippet UI [v2]
Pavel Rappo
prappo at openjdk.java.net
Wed Oct 27 17:24:16 UTC 2021
On Wed, 27 Oct 2021 17:04:53 GMT, Jonathan Gibbons <jjg at openjdk.org> wrote:
>> I think this change is OK for now. We can make it more restrictive later if it becomes a problem. I tried to come up with a short explanatory comment, but couldn't find one I was satisfied with.
>
> While maybe uncommon and maybe not necessary, it is not bad HTML (is it?) to have an empty fragment.
> Verified:
> * https://en.wikipedia.org/wiki/URI_fragment
> * https://datatracker.ietf.org/doc/html/rfc3986#section-3.5
What was the purpose of that check added in JDK-8216319 in the first place? If the check is irrelevant, we should remove it.
-------------
PR: https://git.openjdk.java.net/jdk/pull/6011
More information about the build-dev
mailing list