[Xmonad] darcs patch: Make extra WindowNavigation borders configurable

[Andrea Rossato]

On Wed, Oct 03, 2007 at 02:21:01AM +0100, Jamie Webb wrote:
> Personally I find the new highlighting feature more distracting than useful, so
> this patch adds a parameter to enable/disable it.
> 
> /J
> 
> Wed Oct  3 02:07:46 BST 2007  Jamie Webb
>   * Make extra WindowNavigation borders configurable

I have a patch too, but mine is to make borders colors configurable.
This would probably solve your problem too, right?

I'm going to ask David's opinion too, since h�s the author.

Andrea