[Xmonad] darcs patch: don't refresh when setting focus to already focussed w...

This fixes the issue that tabs refresh when mouse goes over tabs and then back over the window. But in general, it simply makes xmonad more efficient. David Mon Aug 20 11:02:25 EDT 2007 David Roundy * don't refresh when setting focus to already focussed window.