Integrated: JDK-8325650: Table of contents scroll timeout not long enough

[Hannes Wallnöfer]

On Mon, 12 Feb 2024 16:17:14 GMT, Hannes Wallnöfer <hannesw at openjdk.org> wrote:

> Please review a simple change to increase a timeout value for suppression of scroll-following in the table of contents. This should have no visible effects to the user but may avoid flickering of the table of contents on slower computers. I also replaced a normal inequality operator (`!=`) with a strict one (`!==`) which is better practice when comparing equal types.

This pull request has now been integrated.

Changeset: 088e54f5
Author:    Hannes Wallnöfer <hannesw at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/088e54f5602f5f46fde1e5e335ae323d8e4516be
Stats:     2 lines in 1 file changed: 0 ins; 0 del; 2 mod

8325650: Table of contents scroll timeout not long enough

Reviewed-by: jjg

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

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