Parent Directory | Revision Log | Patch
revision 1.715 by rms, Sun Dec 16 20:02:01 2001 UTC | revision 1.716 by pj, Tue Dec 18 16:14:13 2001 UTC | |
---|---|---|
# | Line 910 window_box_height (w) | Line 910 window_box_height (w) |
910 | height -= estimate_mode_line_height (f, HEADER_LINE_FACE_ID); | height -= estimate_mode_line_height (f, HEADER_LINE_FACE_ID); |
911 | } | } |
912 | ||
913 | return height; | /* With a very small font and a mode-line that's taller than |
914 | default, we might end up with a negative height. */ | |
915 | return max (0, height); | |
916 | } | } |
917 | ||
918 |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |