Bug#749281: gnome-terminal: Setting Title on tabs doesn't work

[Chris Frey]

Package: gnome-terminal
Version: 3.12.2-1
Severity: normal

Dear Maintainer,

In 3.10, I was able to right-click on the tabs, and use the Set Title option to
give meaningful names to my terminal tabs.  In this version, the dialog box
comes up, but when I enter a new name, it doesn't change.




-- System Information:
Debian Release: jessie/sid
  APT prefers testing
  APT policy: (500, 'testing')
Architecture: amd64 (x86_64)

Kernel: Linux 3.12-1-amd64 (SMP w/4 CPU cores)
Locale: LANG=en_CA.UTF-8, LC_CTYPE=en_CA.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash

Versions of packages gnome-terminal depends on:
ii  dconf-gsettings-backend [gsettings-backend]  0.20.0-2
ii  gconf-service                                3.2.6-2
ii  gnome-terminal-data                          3.12.2-1
ii  gsettings-desktop-schemas                    3.8.2-2
ii  libatk1.0-0                                  2.12.0-1
ii  libc6                                        2.18-7
ii  libcairo-gobject2                            1.12.16-2
ii  libcairo2                                    1.12.16-2
ii  libdconf1                                    0.20.0-2
ii  libgconf-2-4                                 3.2.6-2
ii  libgdk-pixbuf2.0-0                           2.30.7-1
ii  libglib2.0-0                                 2.40.0-3
ii  libgtk-3-0                                   3.12.2-1
ii  libnautilus-extension1a                      3.8.2-3
ii  libpango-1.0-0                               1.36.3-1
ii  libpangocairo-1.0-0                          1.36.3-1
ii  libuuid1                                     2.20.1-5.7
ii  libvte-2.90-9                                1:0.36.2-1
ii  libx11-6                                     2:1.6.2-2

Versions of packages gnome-terminal recommends:
ii  dbus-x11  1.8.2-1
ii  gvfs      1.20.1-1+b1
ii  yelp      3.12.0-1

gnome-terminal suggests no packages.

-- no debconf information