terminal tab titles not saved in session
Submitted by John Levon
Link to original bug (#510315)
Description
If I save a session, on restoring it, the terminal tab names are lost, they are all given the default names.
Other information: .gnome2/session says:
5,Program=gnome-terminal 5,CurrentDirectory=/home/moz 5,CloneCommand=gnome-terminal --sm-config-prefix /gnome-terminal-0sGQgc/ 5,RestartCommand=gnome-terminal --sm-config-prefix /gnome-terminal-0sGQgc/ --sm-client-id 101956ef06000119939780600000272100001 --screen 0
Not sure where to look for that config.
Version: 2.18.x
Resolution: RESOLVED OBSOLETE