3 Oct
2007
3 Oct
'07
4:36 p.m.
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.