On Mon, 20 Nov 2023 10:06:50 GMT, Hannes Wallnöfer <hann...@openjdk.org> wrote:

> Please review a fix for multiple issues that caused a horizontal scrollbar to 
> appear on the list of search results in JavaDoc-generated documentation even 
> when not required by the list content. The problems are described in more 
> detail in the JBS issue, but to summarize:
> 
>  - Our category headers contained horizontal padding which was added to the 
> width of 100%. This is solved by adding `box-sizing: border-box` where 
> necessary.
>  - The selected item is shown with a negative margin and positive border to 
> work around a browser bug, which also caused horizontal overflow. This is 
> solved by only applying the margin and border to the vertical axis.
> 
> For the second fix it was also necessary to change the order in which 
> stylesheets are loaded in HTML files in order to be able to override 
> declarations in the JQuery-UI stylesheet.
> 
> I also added a little bit of vertical padding to result list items as the 
> list looked very crammed to me. Generated documentation (top-level files 
> only) can be viewed at the URL below. Search results should not display a 
> horizontal scrollbar unless required by the contents of the list.
> 
> https://cr.openjdk.org/~hannesw/8275889/api.00/

This pull request has now been integrated.

Changeset: 30d89538
Author:    Hannes Wallnöfer <hann...@openjdk.org>
URL:       
https://git.openjdk.org/jdk/commit/30d895383eda37ba1475825a258feb0a15da1526
Stats:     26 lines in 3 files changed: 16 ins; 6 del; 4 mod

8275889: Search dialog has redundant scrollbars

Reviewed-by: jjg

-------------

PR: https://git.openjdk.org/jdk/pull/16731

Reply via email to