Your message dated Thu, 13 Feb 2014 16:19:02 +0000
with message-id 
<CAD=6czqpxgprou0z1ezb-hclriupbf4vvnjohb+wffku3lh...@mail.gmail.com>
and subject line close 637035 bug
has caused the Debian Bug report #637035,
regarding gnome-terminal: wrong font size from system
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact [email protected]
immediately.)


-- 
637035: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=637035
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
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




--- End Message ---
--- Begin Message ---
Version: 3.4.1.1-2

Hey gpe,

using gnome-tweak-tools you can set that.

I'm closing this bug now since it's working fine.

thanks
regards
althaser

--- End Message ---

Reply via email to