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 * don't refresh when setting focus to already focussed window.

Applied, thanks.