reduce platform differences (possible fixes empty lines when scrolling with mousewheel on windows)