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