This repository has been archived on 2023-10-09. You can view files and clone it. You cannot open issues or pull requests or push a commit.

Brecht Van Lommel 3eab8156d3 UI: don't change scrollbar size on mouse move, only fade. ...

It's not necessary to do both, and trying to hit a target that changes
size is annoying.

2018-07-11 12:35:44 +02:00

77 KiB

Raw Blame History

View Raw