jquerytools/jquerytools — pull request #620 by poxd (2012-01-16 09:41:16+00:00)
Title: #591 fix: double scrolling issue when autoscroll is on

#591 fix, initially coded by evrard, see https://github.com/jquerytools/jquerytools/issues/591#issuecomment-3216475