Mouse click highlight v2 with mouse actions as keys in addition to visual circles#162

Open

bfritscher wants to merge 5 commits intoCode52:masterfrom

bfritscher:mouse-click-highlight

Commits on Jul 16, 2017

Commits on Jul 17, 2017

Better support for mouse aggregation and show shift + mouse
bfritscher
committed

Commits on Jul 20, 2017

ensure the mouse hook is disposed on exit

gdh1995
authored and
bfritscher
committed