Re: [Xmonad] darcs patch: make borderWidth dynamically configurable.