Bug#788413: gnome-terminal: Feature request: add option to set tab title

[Sébastien Poher]

Package: gnome-terminal
Version: 3.16.2-1
Severity: wishlist
Tags: upstream

Dear Maintainer,

Please add an option (through right clic and command line option) to set tabs
title.
Indeed, gnome-terminal does not always set a proper tab title or sometime user
may use custom tab title to identify easily a specific tab.



-- System Information:
Debian Release: 8.1
  APT prefers stable
  APT policy: (990, 'stable'), (500, 'stable-updates'), (500, 'unstable'), (500, 'testing')
Architecture: amd64 (x86_64)

Kernel: Linux 3.16.0-4-amd64 (SMP w/8 CPU cores)
Locale: LANG=fr_FR.utf8, LC_CTYPE=fr_FR.utf8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)

Versions of packages gnome-terminal depends on:
ii  dconf-gsettings-backend [gsettings-backend]  0.22.0-1
ii  gconf-service                                3.2.6-3
ii  gnome-terminal-data                          3.16.2-1
ii  gsettings-desktop-schemas                    3.14.1-1
ii  libatk1.0-0                                  2.14.0-1
ii  libc6                                        2.19-18
ii  libcairo-gobject2                            1.14.0-2.1
ii  libcairo2                                    1.14.0-2.1
ii  libdconf1                                    0.22.0-1
ii  libgconf-2-4                                 3.2.6-3
ii  libgdk-pixbuf2.0-0                           2.31.1-2+b1
ii  libglib2.0-0                                 2.42.1-1
ii  libgtk-3-0                                   3.14.5-1
ii  libnautilus-extension1a                      3.14.1-2
ii  libpango-1.0-0                               1.36.8-3
ii  libpangocairo-1.0-0                          1.36.8-3
ii  libuuid1                                     2.25.2-6
ii  libvte-2.91-0                                0.40.2-1
ii  libx11-6                                     2:1.6.2-3

Versions of packages gnome-terminal recommends:
ii  dbus-x11  1.8.18-0+deb8u1
ii  gvfs      1.22.2-1
pn  yelp      <none>

gnome-terminal suggests no packages.

-- no debconf information