Fix painting bug when moving scrollbar thumb.
Merge branch 'master' of https://github.com/davereyntjens/slang-ide.git
Removed unused/forgotten field in MyScrollUI.
Floating scrollbars.