*** This bug is a duplicate of bug 1288655 ***
https://bugs.launchpad.net/bugs/1288655
The issue is indirectly caused by setting the title from the primary
prompt PS1, which is reprinted on each window resize.
You can "fix" it for yourself by removing the setting of the title from
PS1 (which goes like "\[\e]0;whatever_the_new_title_is\a\]"). You can
add something equivalent to PROMPT_COMMAND if you wish.
--
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/1706008
Title:
gnome-terminal window becomes one line shorter after every
fullscreen/windowed cycle
Status in gnome-terminal package in Ubuntu:
New
Bug description:
It's 17.04 64 bit Ubuntu, wayland+gnome-shell. I have key F11
configured to toggle between fullscreen and windowed mode. Just
noticed, that every time I press F11 to get full screen, then F11 to
get back windowed mode, the window becomes one line shorter ...
Continuing this I can hit the situation to have only a one line tall
window. It's kinda annoying, since during my work I use tons of
terminal windows, and I often use full screen / windowed mode
switching. Now, I have to resize the window again and again before it
becomes too shallow ...
ProblemType: Bug
DistroRelease: Ubuntu 17.04
Package: gnome-terminal 3.20.2-1ubuntu8
ProcVersionSignature: Ubuntu 4.10.0-28.32-generic 4.10.17
Uname: Linux 4.10.0-28-generic x86_64
ApportVersion: 2.20.4-0ubuntu4.5
Architecture: amd64
CurrentDesktop: GNOME
Date: Mon Jul 24 11:14:01 2017
InstallationDate: Installed on 2015-07-10 (744 days ago)
InstallationMedia: Ubuntu 15.04 "Vivid Vervet" - Release i386 (20150422)
SourcePackage: gnome-terminal
UpgradeStatus: Upgraded to zesty on 2017-06-20 (33 days ago)
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1706008/+subscriptions
--
Mailing list: https://launchpad.net/~desktop-packages
Post to : desktop-packages@lists.launchpad.net
Unsubscribe : https://launchpad.net/~desktop-packages
More help : https://help.launchpad.net/ListHelp
