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

[martin rudalics]

>>    (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