I've noticed that toggling the menubar on and off reduces the height of the window (real screen estate and according to $LINES) by one line.
I've noticed that toggling the menubar on and off reduces the height of the window (real screen estate and according to $LINES) by one line.