
3 Oct
2007
3 Oct
'07
8:04 a.m.
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