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? 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. In this particular instance, putting the PDF together certainly took longer than actually writing the code. ;) The main reason I started to put this PDF together was actually to understand myself which trade-offs are involved in choosing different directional navigation strategies, and then it was relatively little extra work to make this available as part of the documentation. Cheers, Norbert