darcs patch: Make extra WindowNavigation borders configurable
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
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
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.
participants (3)
-
Andrea Rossato -
Jamie Webb -
Spencer Janssen