[[ Bug 12843 ]] Round thumbpos according to scrollbar number format
Merge pull request #916 from runrevali/bugfix-12843

[[ Bug 12843 ]] Round thumbpos according to scrollbar number format