Esc seq setting window size to pixels vs. padding
@egmontkob
Submitted by Egmont Koblinger Link to original bug (#759149)
Description
echo -ne '\e[4;500;500t'
xterm sets the terminal size including the padding (internalBorder) to 500px (at most; rounding downwards if necessary)
vte sets the terminal size to 500px (rounding downwards if necessary) plus padding.
Version: git master