When using pop-shell tiling, the height of gnome-terminal is slightly less, than it is on other windows (see screenshots attached below).
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?
<?xml version="1.0"?> <gnome-version> <platform>3</platform> <minor>38</minor> <micro>1</micro> <distributor>Arch Linux</distributor> <!--<date></date>--> </gnome-version>