>> An UI (pref checkbox) would be an improvement :-). (But I guess, it 
>> should first be non-experimental.)
> 
>   That's on my list too.

There's a bug on an entire prefs panel for this stuff. It would probably 
be better just to put the pref name in the bug, and wait a bit :-)

Gerv


Reply via email to