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
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
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 matches
Mail list logo