[Bug 1816436] Re: gnome-terminal window shrinks when changing tabs

2019-02-18 Thread Daniel van Vugt
*** This bug is a duplicate of bug 1288655 ***
https://bugs.launchpad.net/bugs/1288655

Looks like there have been a number of reports about various actions
causing this shrinkage.

Please pick bug 1288655 or one of its duplicates.

** This bug has been marked a duplicate of bug 1288655
   Terminal height shrinking when it loses focus

-- 
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1816436

Title:
  gnome-terminal window shrinks when changing tabs

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1816436/+subscriptions

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

[Bug 1816436] Re: gnome-terminal window shrinks when changing tabs

2019-02-18 Thread James Henstridge
At didrocks' request, I've also filed this here:

https://github.com/ubuntu/yaru/issues/1196

** Bug watch added: github.com/ubuntu/yaru/issues #1196
   https://github.com/ubuntu/yaru/issues/1196

-- 
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1816436

Title:
  gnome-terminal window shrinks when changing tabs

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1816436/+subscriptions

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs