Mudlet: Scrollbar does not move with mousewheel/pg scrolling

This is still an issue and is up there with the pet peeves people have with Mudlet.

Steps to reproduce:

1. open mudlet, connect to a game
2. get some text in the scrollbar buffer
3. avoid using the scrollbar to scroll - ie use the mousewheel or the trackpad
4. observe scrollbar does not properly follow your scrolling

Confirmed in Mudlet 3.9, please fix, this makes Mudlet seem broken

Also, if you scroll with your mouse, or keyboard, or any non scrollbar method, if you then click on the scrollbar afterwards, the scrollbar moved the view location to the scrollbar location.
IE: It ignores any movements not done by the scrollbar.

I have issued a fix for this problem in https://github.com/Mudlet/Mudlet/pull/3186 .
The entire changes for this fix are the differences between the original text selection patch, and patch 1.
If you don't want the https://github.com/Mudlet/Mudlet/issues/612 fix, don't use patch 1. If you do want the https://github.com/Mudlet/Mudlet/issues/612 fix, you can merge it in without the text selection fix which is the original patch. I'm certain the change is small enough that you can see the changes between the text selection fix and the scrollbar fix.

Wait! I removed all the code from text selection, and placed it in a separate branch for https://github.com/Mudlet/Mudlet/pull/3198 . This shouldn't be closed since it isn't handled by the text selection change at all!

Linked issue has a nice gif to see action of this happening in Mudlet 4.9