darcs patch: set border color more judiciously, so layouts can cust...

This does much less resetting of border colors, but in my testing
does enough. The result is that WindowNavigation can display which
neighboring windows can be navigated to by giving them blue (or other)
borders, which seems a bit handy.
David
Fri Sep 28 19:53:46 EDT 2007 David Roundy

On Saturday 29 September 2007 06:48:06 David Roundy wrote:
This does much less resetting of border colors, but in my testing does enough. The result is that WindowNavigation can display which neighboring windows can be navigated to by giving them blue (or other) borders, which seems a bit handy.
David
Fri Sep 28 19:53:46 EDT 2007 David Roundy
* set border color more judiciously, so layouts can customize this.
Applied.
participants (2)
-
David Roundy
-
Spencer Janssen