Add option to preserve tab titles
By vmal... on May 23, 2014 13:24 (imported from Google Code)
Currently whenever a terminal receives the escape sequence to set the window title, it overrides any explicit name assigned to a tab or window. An option to disable this behavior would be greatly appreciated.