88a13d73958c050bde4364b115faddfe26b0d47c
some WMs not only send 'crossing' events when really moving from one window to another, but also when mousewheeling. distinguishing those events 'mode' property fixed this. brecht++ for figuring out the details.
Description
No description provided
Languages
C++
78%
Python
14.9%
C
2.9%
GLSL
1.9%
CMake
1.2%
Other
0.9%