Gnome terminal has different spacing depending on the corner... and a setting for passing in the corners would be great.

[StephenBerlin]

I am running Ubuntu 18.04.6 LTS. I use three monitors, all the same model.
On all three of my screens, the behavior is the same. If I send a gnome terminal window
to the top left, the window is all the way in the corner... touching the left and top sides of
the screen... same for the bottom left corner. But if I send a terminal window to the top
right or bottom right corner, there are ~10 pixels of space between the window and the
right edge... which I prefer. However, if I do this with a different app, like a browser, then
sending the app window to the right top/bottom corner goes all the way into the corner.

I would like to understand if what I'm seeing is "normal" for gnome terminal... if not, what
could cause it?

I would request that we be able to pad where you consider the corner to be... so for me,
I could make the top left and bottom left move a bit inward from the edge.

Why? Because when I have sent something to the top right corner on one monitor,
and to the top left corner on the monitor to the right of it, it's difficult to work with the windows
at their common edge.

Thanks for the great extension!

[negesti]

Hi,
the extension does not support padding/margin atm. The gnome terminal has some kind of "build-in" size adjustement to match character width. e.g. it does not use the pixel width/height given but "rounds" it.

Adding a padding to the size calculation should be possible, but has a low prio until the extension works with the current gnome version

[LeadManPL]

You can try almost the same tool: Awesome Tiles

The only drawback is it maximizes window on Super+KP_5 , but not unmaximizes on pressing it again :/