14 Jun
2007
14 Jun
'07
2:30 p.m.
On Thu, Jun 14, 2007 at 07:21:37AM -0700, David Roundy wrote:
It sounds like you've got my patch to make borderWidth dynamically configurable, which wasn't accepted into xmonad main. If you obliterate that patch, things should make more sense.
oops, you are right indeed. sorry. andrea