Added to Trello: https://trello.com/c/reAhkjmW/23-bug-1521302-gnome-terminal-maximize-than-un-maximize-behaves-odd
Added to Trello: https:/ /trello. com/c/reAhkjmW/ 23-bug- 1521302- gnome-terminal- maximize- than-un- maximize- behaves- odd