Re: terminal title after exit

2016-08-23 Thread Joseph Reagle
On 8/23/16 3:20 PM, Yury V. Zaytsev wrote: > echo -ne '\e[22t' Hello Yury, thanks for your quick responses. I'm not up to patching C (having touched C in over 20 years) so I'll just have to hope for some fix for trash in the future. With respect to the window title, I disabled that and

Re: terminal title after exit

2016-08-23 Thread Yury V. Zaytsev
On Tue, 23 Aug 2016, Joseph Reagle wrote: On 8/23/16 12:46 PM, Yury V. Zaytsev wrote: 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

Re: terminal title after exit

2016-08-23 Thread Joseph Reagle
On 8/23/16 12:46 PM, Yury V. Zaytsev wrote: > 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

terminal title after exit

2016-08-23 Thread Joseph Reagle
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... Additionally, if I do `alt-o` instead of exiting, it is nice to see that mc is still running.