[xmonad] darcs patch: X.A.Navigation2D

[Brent Yorgey]

On Sun, Dec 11, 2011 at 02:53:38PM -0400, Norbert Zeh wrote:
> Brent Yorgey [2011.12.11 0857 -0500]:
> > Great work!! I have wanted this for a while now.  My poor brain cannot
> > keep two different and incompatible window-switching modes straight.
> 
> I'm glad this module seems to fill not only my personal needs in my day-to-day
> work with xmonad.  Out of curiosity: which two incompatible window-switching
> modes are you referring to?

I just mean using WindowNavigation to move around the windows on the
current screen and then a different keybinding to switch between
screens.  I very often do one when I mean to do the other.

> This version of Navigation2D is quite an improvement over the one I sent to the
> list a few weeks back and credit for these improvements should go also to Wirt
> Wolff, who volunteered to test various versions of the module along the way and
> gave *extremely* helpful feedback on usability and documentation.
> 
> > 
> > ...woah, and there's a PDF! With diagrams! 
> > 
> > ...and *proofs*!
> 
> I guess I just proved the general claim that theoretical computer scientists
> make poor programmers: since they first prove the correctness of every little
> piece of code they write, they hardly get any coding done.

No, this is why theoretical computer scientists make *excellent*
programmers. ;)

-Brent