Pop-shell gnome-terminal incorrect window height

Support GNOME
1

When using pop-shell tiling, the height of gnome-terminal is slightly less, than it is on other windows (see screenshots attached below).

2020-11-10 08-36-21
2020-11-10 08-36-212560×1440 591 KB
2020-11-10 08-37-21
2020-11-10 08-37-212560×1440 573 KB

I created this issue on pop-shells github: https://github.com/pop-os/shell/issues/702

Apparently gnome-terminal forces its own size to be an increment of a character. Pop!_OS patches their version of gnome-terminal to not do that, but it’s not working 100% of the time.

Can we get such a patch for gnome-terminal on manjaro as well?

pop-shell version:
community/gnome-shell-extension-pop-shell 1.0.0-1

gnome version:

<?xml version="1.0"?>
<gnome-version>
 <platform>3</platform>
 <minor>38</minor>
 <micro>1</micro>
 <distributor>Arch Linux</distributor>
 <!--<date></date>-->
</gnome-version>
2

It’s a feature of gnome-terminal. When window manager tells it how big it should be, it says: “Srew off, I’ll do what I want!”

Can’t really be helped by pop-team. Workaround is to use alacritty, termite or some other terminal that does not have this issue.

3

Ok I understand.

The thing is, that gnome-terminal is nicely integrated into gnome, e.g. the rightclick context menu “open in terminal” in nautilus. So far i have not seen the option to choose which terminal application this action should be performed.

4