On Wed, 20 Aug 2025 12:32:07 GMT, Hannes Wallnöfer <[email protected]> wrote:
> Please review a change to use HTML `<a href=...>` elements for displaying > JavaDoc search results, thereby opening additional ways of interacting with > links implemented by browsers (clicking with various modifier keys or > right-clicking to obtain a context menu to open in new tab, copy the link > target, etc.). > > The main change is in the search script to create the `<a href=...>` element > instead of a generic `<div>`, and to ignore menu selection events caused by > mouse click (these are now handled natively by the browser). The reduction of > the menu delay from 1000 to 500 ms is an unrelated change to make the menu > more responsive when popping up. The changes in the stylesheet are to > maintain the appearance of the search results. > > The new feature [can be tested > here](https://cr.openjdk.org/~hannesw/8284499/api.00/java.base/module-summary.html) > (module java.base only). This pull request has now been integrated. Changeset: 5ca8d7c2 Author: Hannes Wallnöfer <[email protected]> URL: https://git.openjdk.org/jdk/commit/5ca8d7c2a79ed3d9a6def61ba0fbd0acd5d404dd Stats: 14 lines in 2 files changed: 8 ins; 0 del; 6 mod 8284499: Add the ability to right-click and open in new tab JavaDoc Search results Reviewed-by: liach ------------- PR: https://git.openjdk.org/jdk/pull/26860
