[xmonad] darcs patch: Subscribe to leaveNotify events for windows (and 1 more)

8 Oct 2008

      Wed Oct  8 18:25:36 CEST 2008  Joachim Breitner 
  * Subscribe to leaveNotify events for windows

Wed Oct  8 18:26:19 CEST 2008  Joachim Breitner 
  * Switch screen for leaveNotify events
  ...but do not try to focus this window, as it is the window we just left.