Comment 2 for bug 1706008

I've just noticed: it seems it only happens if the shell prompt is colourfull. if it's not, there is no shrinking of the gnome-terminal window height when cycling between fullscreen and windowed mode ... Interesting!!