git: openjdk/jdk: 8299718: JavaDoc: Buttons to copy specific documentation URL are not accessible

[Hannes Wallnöfer]

Changeset: 094e03de
Author:    Hannes Wallnöfer <hannesw at openjdk.org>
Date:      2023-04-03 10:37:19 +0000
URL:       https://git.openjdk.org/jdk/commit/094e03de6a0944c296ffc67177c66a0148ab9ce7

8299718: JavaDoc: Buttons to copy specific documentation URL are not accessible

Reviewed-by: jjg

! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/SearchWriter.java
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/TagletWriterImpl.java
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/resources/search-page.js
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/resources/search.js.template
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/resources/doclets.properties
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/resources/script.js
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/resources/stylesheet.css
! test/langtools/jdk/javadoc/doclet/checkStylesheetClasses/CheckStylesheetClasses.java
! test/langtools/jdk/javadoc/doclet/testSnippetTag/SnippetTester.java
! test/langtools/jdk/javadoc/doclet/testSnippetTag/TestSnippetUnnamedPackage.java