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