terminal title after exit

[Yury V. Zaytsev]

On Tue, 23 Aug 2016, Joseph Reagle wrote:

> mc changes the terminal title; I know I can disable this with 
> xterm_title=0, but I actually don't mind it *if* it restored the title 
> after I exited...

Hmmm, on Linux the title is restored after mc exits, but it could be that 
it is done by bash or vte, rather than mc. Is there any such feature 
request already on Trac?

-- 
Sincerely yours,
Yury V. Zaytsev