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