[dw7832]

That indeed clears the problem, thank you!

For clarity’s sake, I was under the impression that this setting only had to do with the amount the window scrolls when using the scroll wheel, and didn’t have a bearing on the display of the relevant scroll bar regardless of scroll position?