In addition, I'm inclined to say that the spacing between the terminal windows here is not a bug.
Terminals set specific size hints so that they aren't resized to exactly fit their contents in character size. If the window can't be allocated to a position that exactly fits those size hints, then we resize it a little smaller. The only case where we don't do that is in the semi-maximize and maximize case, and that's fine.
In addition, I'm inclined to say that the spacing between the terminal windows here is not a bug.
Terminals set specific size hints so that they aren't resized to exactly fit their contents in character size. If the window can't be allocated to a position that exactly fits those size hints, then we resize it a little smaller. The only case where we don't do that is in the semi-maximize and maximize case, and that's fine.
The maximization bug, however, is.