
11 Dec
2007
11 Dec
'07
2:46 a.m.
Hello --
On 11/12/2007, Jason Creighton
Now, we have a waitingUnmap Map to record how many unmaps we can safely ignore, but unmange looks like this:
Yup. As I mentioned in #xmonad, the way to deal with this to ignore the MapRequest if following it is a synthetic UnmapNotify request, since the real events follow shortly anyway. -- Thomas Adam