ssh tab titles persist after session has ended
By aaron.meu...@continuum.io on February 06, 2014 23:08 (imported from Google Code)
When I ssh to a machine, the tab title changes to username@machine (I couldn't find a setting for this, btw). After the session ends, that is left there.