bug#16637: 24.3.50; menubar height is wrong

[Eli Zaretskii]

> From: Fabrice Popineau <fabrice.popineau@supelec.fr>
> Date: Fri, 5 Sep 2014 09:33:36 +0200
> Cc: Martin Rudalics <rudalics@gmx.at>, 16637 <16637@debbugs.gnu.org>
> 
> I have a full screen frame. I switch between laptop screen only and
> external screen only using Windows key + P.
> The whole frame is redisplayed AFAICS.

If it's redisplayed once, that's expected.  But if it's being
redisplayed with no visible changes time after time, that's a bug.

> I tried a frame with one window buffer and a frame with 3 windows buffers.
> I have the feeling that it flickers more when there are more buffers
> displayed in the same frame.
> Albeit no definitive proof of it.
> I'll let you know if I have some reasonable clue about where to look.

Better file a separate bug with all the details.  Thanks.