Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Fix dropdown buttons on Windows #301
Hopefully fixes bug on Windows:
Tested on the Windows machine where I reproduced this earlier and it is fixed with this PR.
NB: I also realised that this bug is due to touch-screen functionality which is why we only see it on some machines. When touch-screen is disabled then we don't see the bug.