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