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

2011-08-08 Thread gpe
Le Mon, 08 Aug 2011 02:55:36 +0200 Michael Biebl bi...@debian.org a écrit: On 08.08.2011 01:42, gpe wrote: 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

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

2011-08-07 Thread 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

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

2011-08-07 Thread Michael Biebl
On 08.08.2011 01:42, gpe wrote: 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. gnome-terminal is a GNOME