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

gpe gpe92 at free.fr
Mon Aug 8 10:44:54 UTC 2011


Le Mon, 08 Aug 2011 02:55:36 +0200
Michael Biebl <biebl at 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 to monospace 10
> > but gnome-terminal uses monospace 11.
> 
> gnome-terminal is a GNOME 3 app and you changed the font settings with
> gnome-control-center from GNOME 2, right?

yes.


> GNOME 2 and GNOME 3 use different configuration settings/systems, so
> this behaviour is to be expected.

So how can I change these settings in GNOME3 ?


-- 
gpe <gpe92 at free.fr>






More information about the pkg-gnome-maintainers mailing list