darcs patch: Replace nextEvent with maskEvent to prevent GridSelect...

22 Aug
2009
22 Aug
'09
9:44 p.m.
Sun Aug 9 15:10:55 CEST 2009 Clemens Fruhwirth

25 Aug
25 Aug
9:43 p.m.
New subject: darcs patch: Replace nextEvent with maskEvent to prevent GridSelect...
* On Saturday, August 22 2009, Clemens Fruhwirth wrote:
Sun Aug 9 15:10:55 CEST 2009 Clemens Fruhwirth
* Replace nextEvent with maskEvent to prevent GridSelect from swallowing unrelated events (such as map/unmap)
Applied, Thanks! -- Adam
5792
Age (days ago)
5795
Last active (days ago)
1 comments
2 participants
participants (2)
-
Adam Vogt
-
Clemens Fruhwirth