"Gisle Vanem" <[EMAIL PROTECTED]> writes:

>> We could also fix this by calling ws_changetitle() unconditionally.
>> Should the title bar be affected by verbosity?
>
> IMHO yes, Quiet is quiet.

I agree.

Reply via email to