Integrated: JDK-8286832: JavaDoc pages call browser history API too often

[Hannes Wallnöfer]

On Tue, 17 May 2022 13:48:25 GMT, Hannes Wallnöfer <hannesw at openjdk.org> wrote:

> This is a small but important fix in our browser script that ensures that the `history.replaceState()` function is not called repeatedly during scrolling. The existing code makes sure the function is called no more often then every 100 milliseconds, but that is still unnecessarily often and enough to make Firefox complain and degrade the scrolling performance on Chrome on Android. 
> 
> The new code does not call the function until after the user has stopped scrolling. This is what we want and fixes all the above mentioned problems. 
> 
> I have tested the new code thoroughly on Firefox and Chrome on Mac OS and Linux, Safari on Mac OS and  iOS as well as Chrome on Android.

This pull request has now been integrated.

Changeset: 6a192206
Author:    Hannes Wallnöfer <hannesw at openjdk.org>
URL:       https://git.openjdk.java.net/jdk/commit/6a192206b820bc22a2f143fa4631e3d707d6fa7c
Stats:     10 lines in 1 file changed: 4 ins; 4 del; 2 mod

8286832: JavaDoc pages call browser history API too often

Reviewed-by: prappo

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

PR: https://git.openjdk.java.net/jdk/pull/8751