Integrated: 8284499: Add the ability to right-click and open in new tab JavaDoc Search results

[Hannes Wallnöfer]

On Wed, 20 Aug 2025 12:32:07 GMT, Hannes Wallnöfer <hannesw at openjdk.org> 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 <hannesw at openjdk.org>
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