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 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 to

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

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 t