Bug#710028: gnome-terminal: resize window after adding a tab and switching desktop, then coming back gets the previous size

[merlin8282]

Package: gnome-terminal
Version: 3.4.1.1-2
Severity: normal

1- Open a gnome-terminal
2- resize the window
3- add one or more tabs
4- resize the window again (up to here there's no problem.)
5- switch to another desktop
6- come back to the desktop where your terminal is: the size of the window has
reverted to the size set in step 2.

Tested only in gnome, I don't know if the problem persists in other
environments (XFCE, etc.)



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

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

Versions of packages gnome-terminal depends on:
ii  gconf-service              3.2.5-1+build1
ii  gnome-terminal-data        3.4.1.1-2
ii  gsettings-desktop-schemas  3.4.2-3
ii  libatk1.0-0                2.8.0-2
ii  libc6                      2.17-3
ii  libgconf-2-4               3.2.5-1+build1
ii  libgdk-pixbuf2.0-0         2.28.1-1
ii  libglib2.0-0               2.36.1-2build1
ii  libgtk-3-0                 3.8.2-1
ii  libice6                    2:1.0.8-2
ii  libpango1.0-0              1.32.5-5
ii  libsm6                     2:1.2.1-2
ii  libvte-2.90-9              1:0.32.2-1
ii  libx11-6                   2:1.5.0-1+deb7u1

Versions of packages gnome-terminal recommends:
ii  dbus-x11  1.6.10-1
ii  gvfs      1.16.2-2
ii  yelp      3.4.2-1+b1

gnome-terminal suggests no packages.

-- no debconf information