On Mon, 12 Feb 2024 16:17:14 GMT, Hannes Wallnöfer <hann...@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 <hann...@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
