Bug#637035: gnome-terminal: wrong font size from system

[gpe]

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

in the preferences if I set the font from system settings the size is
false. In my system settings the fix font is set to monospace 10 but
gnome-terminal uses monospace 11.


-- System Information:
Debian Release: wheezy/sid
  APT prefers testing
  APT policy: (500, 'testing')
Architecture: i386 (i686)

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

Versions of packages gnome-terminal depends on:
ii  gnome-terminal-data           3.0.1-1    Data files for the GNOME terminal 
ii  gsettings-desktop-schemas     3.0.1-1    GSettings deskop-wide schemas
ii  libatk1.0-0                   2.0.1-2    ATK accessibility toolkit
ii  libc6                         2.13-10    Embedded GNU C Library: Shared lib
ii  libgconf2-4                   2.32.4-1   GNOME configuration database syste
ii  libgdk-pixbuf2.0-0            2.23.5-2   GDK Pixbuf library
ii  libglib2.0-0                  2.28.6-1   The GLib library of C routines
ii  libgtk-3-0                    3.0.11-1   GTK+ graphical user interface libr
ii  libice6                       2:1.0.7-2  X11 Inter-Client Exchange library
ii  libpango1.0-0                 1.28.4-1   Layout and rendering of internatio
ii  libsm6                        2:1.2.0-2  X11 Session Management library
ii  libvte-2.90-9                 1:0.28.1-2 Terminal emulator widget for GTK+ 
ii  libx11-6                      2:1.4.3-2  X11 client-side library

Versions of packages gnome-terminal recommends:
ii  gvfs                     1.6.4-3         userspace virtual filesystem - ser
ii  yelp                     2.30.1+webkit-1 Help browser for GNOME

gnome-terminal suggests no packages.

-- no debconf information