"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.
"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.