Florian Müllner d85f97c744 grabHelper: Adjust to property name change
Commit bbfa616f275cdd41c052 renamed _ignoreRelease to _ignoreUntilRelease
in some places, but not others, which broke GrabHelper.ignoreRelease().
Complete the name change to fix the fallout (e.g. app launcher menus
closing on button release).
2014-08-28 19:49:51 +02:00
..
2014-08-10 09:25:10 +02:00