Bug#662667: Terminal font not rendered at correct size after upgrade to GNOME 3

[Josh Triplett]

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

I have my terminal font set to 7pt Monospace.  Under GNOME 2, this
produced very readable terminals for me.  After upgrading to GNOME 3,
gnome-terminal still thinks it uses 7pt Monospace, but it actually uses
something far smaller than that.

- Josh Triplett

-- System Information:
Debian Release: wheezy/sid
  APT prefers unstable
  APT policy: (500, 'unstable'), (500, 'stable'), (1, 'experimental')
Architecture: amd64 (x86_64)

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

Versions of packages gnome-terminal depends on:
ii  gnome-terminal-data        3.2.1-2
ii  gsettings-desktop-schemas  3.2.0-2
ii  libatk1.0-0                2.2.0-2
ii  libc6                      2.13-27
ii  libgconf2-4                3.2.3-3
ii  libgdk-pixbuf2.0-0         2.24.1-1
ii  libglib2.0-0               2.30.2-6
ii  libgtk-3-0                 3.2.3-1
ii  libice6                    2:1.0.7-2
ii  libpango1.0-0              1.29.4-2
ii  libsm6                     2:1.2.0-2
ii  libvte-2.90-9              1:0.30.1-3
ii  libx11-6                   2:1.4.4-4

Versions of packages gnome-terminal recommends:
ii  gvfs  1.10.1-2+b1
ii  yelp  3.2.1+dfsg-1+b1

gnome-terminal suggests no packages.

-- no debconf information