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

[Spencer Janssen]

On Monday 20 August 2007 10:04:57 David Roundy wrote:
> 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 <droundy at darcs.net>
>   * don't refresh when setting focus to already focussed window.

Applied, thanks.