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 <clemens@endorphin.org> * Replace nextEvent with maskEvent to prevent GridSelect from swallowing unrelated events (such as map/unmap)
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 <clemens@endorphin.org> * Replace nextEvent with maskEvent to prevent GridSelect from swallowing unrelated events (such as map/unmap)
Applied, Thanks! -- Adam
6172
Age (days ago)
6175
Last active (days ago)
1 comments
2 participants
participants (2)
-
Adam Vogt -
Clemens Fruhwirth