desktop-packages team mailing list archive
-
desktop-packages team
-
Mailing list archive
-
Message #118626
[Bug 1290941] Re: gnome-terminal ignores 'Use custom default terminal size' setting
I'm seeing this now for the first time after installing Vivid (Ubuntu
GNOME 15.04, gnome-terminal 3.14.2-0ubuntu3).
When not changing the default terminal size, the first console window
opens correctly (80x24). But all subsequent windows (created with Ctrl-
Shift-N) are just one character short (79x23).
When setting a custom terminal size in the preferences, all terminal
windows are one character too small. So setting the size to 81x25 fixed
the issue for me.
I also quickly checked, whether the size indicator actually shows the
correct values when re-sizing the window, and yes, it does!
This issue might be worthy of opening a new bug report.
--
You received this bug notification because you are a member of Desktop
Packages, which is subscribed to gnome-terminal in Ubuntu.
https://bugs.launchpad.net/bugs/1290941
Title:
gnome-terminal ignores 'Use custom default terminal size' setting
Status in gnome-terminal package in Ubuntu:
Fix Released
Bug description:
I have settings in gnome-terminal that say "Use custom default
terminal size" to be 80x25.
$ gnome-terminal --profile=Default
launches a new terminal that is not that size.
See the picture attached
$ dpkg-query --show gnome-terminal
gnome-terminal 3.6.2-0ubuntu1
Not sure when this started happening, but I'm guessing it could be the same time that bug 1238111 was fixed.
ProblemType: Bug
DistroRelease: Ubuntu 14.04
Package: gnome-terminal 3.6.2-0ubuntu1
ProcVersionSignature: Ubuntu 3.13.0-16.36-generic 3.13.5
Uname: Linux 3.13.0-16-generic x86_64
ApportVersion: 2.13.3-0ubuntu1
Architecture: amd64
CurrentDesktop: Unity
Date: Tue Mar 11 12:26:21 2014
EcryptfsInUse: Yes
InstallationDate: Installed on 2011-10-19 (874 days ago)
InstallationMedia: Ubuntu 11.10 "Oneiric Ocelot" - Release amd64 (20111012)
SourcePackage: gnome-terminal
UpgradeStatus: Upgraded to trusty on 2013-05-20 (295 days ago)
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1290941/+subscriptions