← Back to team overview

desktop-packages team mailing list archive

[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