darcs patch: Replace nextEvent with maskEvent to prevent GridSelect...
23 Aug
2009
23 Aug
'09
5:44 a.m.
Sun Aug 9 15:10:55 CEST 2009 Clemens Fruhwirth
26 Aug
26 Aug
5:43 a.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
5931
Age (days ago)
5934
Last active (days ago)
1 comments
2 participants
participants (2)
-
Adam Vogt -
Clemens Fruhwirth