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 Desktop Packages, which is subscribed to gnome-terminal in Ubuntu. https://bugs.launchpad.net/bugs/1816436 Title: gnome-terminal window shrinks when changing tabs Status in gnome-terminal package in Ubuntu: New Status in yaru-theme package in Ubuntu: New Bug description: I am using gnome-terminal 3.31.90-1ubuntu1 on a Disco desktop. If I create a gnome-terminal window and add a second tab, the window will shrink by one line each time I switch tabs. This seems to be theme related, since it happens with Yaru but not with Adwaita. Some aspects of my configuration that seem to be relevant: 1. Using yaru-theme-gtk version 19.04 2. Under the org.gnome.desktop.interface gsettings schema, I have scaling-factor set to 1 and text-scaling-factor set to 1.5 This may lead to some widgets size being dictated by the text height where they might be governed by min-height otherwise. I suspect that the height notebook tabs are changing when changing from selected to unselected state, and gnome-terminal then tries to resize the window to align to the terminal character grid. To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1816436/+subscriptions -- Mailing list: https://launchpad.net/~desktop-packages Post to : [email protected] Unsubscribe : https://launchpad.net/~desktop-packages More help : https://help.launchpad.net/ListHelp
