don't refresh when setting focus to already focussed window.
don't refresh when setting focus to already focussed window.

darcs-hash:20070820150225-72aca-bd7bc572123ece11ae6b1ebcba4a494d73d2fdfe

Happy-Ferret/xmonad