John Levon wrote:
> Annoying the user is never a good solution.
> 
> I really think we have it right as is.
> 
The only thing I would even think of changing is making the color change
a document item rather than a global preference, but default the same as
is.

Garst

Reply via email to