bug#18912: 24.4; mode-line corruption on graphical frames in dual-headed display

[martin rudalics <rudalics@gmx.at>]

 >>    (window-height) ==> 34
 >>    (window-pixel-height) ==> 613
 >
 > Thanks.
 >
 > I don't see anything strange here, the 1-pixel difference shouldn't
 > have caused what you see.
 >
 > Martin, any suggestions how to dig into this further?
 >
 >> Interesting enough, '(window-pixel-height)' returns different values for
 >> both configurations under the "same" circumstances.  Furthermore, in
 >> both configurations '(window-height)' returns one line more than what
 >> was actually shown.  Therefore, both expressions seem to suggest an "off
 >> by one" bug.
 >
 > I see no bug here: both functions return the height of the window
 > including the mode line, so the value sounds correct if you have 33
 > lines of text in that window.

Bruno: Could you please post the results of evaluating

(window--dump-frame)

here.  The results are in a buffer called *window-frame-dump*.  Please
do it for the good and the corrupted frame.

Thanks, martin