Properly handle mouse events when leaving or entering the sidebar#2008

Merged

piroor merged 1 commit intopiroor:masterfrom klemens:mouse-events

Aug 27, 2018

+18-27

Commits on Aug 24, 2018

Properly handle mouse events when leaving or entering the sidebar piroor#1992
klemens
committed