-
Committer:
Daniel van Vugt
-
Date:
2012-02-15 11:21:07 UTC
-
mto:
This revision was merged to the branch mainline in
revision
3002.
-
Revision ID:
vanvugt@gmail.com-20120215112107-zlwdn0wp75vt5l2f
Preventative maintenance;
1. Don't grab the keyboard if some other plugin already has.
2. Make possibleTap a void* so that no one tries to dereference it.
3. Reset possibleTap when plugins change, so there can be no confusion.