GNOME Bugzilla – Bug 742315
terminal tabs renaming
Last modified: 2015-01-04 13:11:01 UTC
this feature no longer available in 3.14 . please re-enable tabs renaming.
*** This bug has been marked as a duplicate of bug 734968 ***