[Xmonad] darcs patch: Make extra WindowNavigation borders configurable

[Spencer Janssen]

On Tuesday 02 October 2007 20:21:01 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've applied Andrea's patch instead, which seems to have similar
functionality.