diff options
| -rw-r--r-- | src/ChangeLog | 4 | ||||
| -rw-r--r-- | src/xdisp.c | 4 |
2 files changed, 7 insertions, 1 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index d6fd3dfc20d..6096177d1f0 100644 --- a/src/ChangeLog +++ b/src/ChangeLog | |||
| @@ -1,5 +1,9 @@ | |||
| 1 | 2000-11-16 Gerd Moellmann <gerd@gnu.org> | 1 | 2000-11-16 Gerd Moellmann <gerd@gnu.org> |
| 2 | 2 | ||
| 3 | * xdisp.c (pos_visible_p): Handle case that we reach ZV without | ||
| 4 | knowing the line's height; use the default font's height in that | ||
| 5 | case. | ||
| 6 | |||
| 3 | * xfaces.c (weight_table): Add `demi' with the same meaning as | 7 | * xfaces.c (weight_table): Add `demi' with the same meaning as |
| 4 | `demibold'. | 8 | `demibold'. |
| 5 | 9 | ||
diff --git a/src/xdisp.c b/src/xdisp.c index c2ed64b1477..e75ae762687 100644 --- a/src/xdisp.c +++ b/src/xdisp.c | |||
| @@ -995,13 +995,15 @@ pos_visible_p (w, charpos, fully, exact_mode_line_heights_p) | |||
| 995 | { | 995 | { |
| 996 | if (last_height) | 996 | if (last_height) |
| 997 | line_height = last_height; | 997 | line_height = last_height; |
| 998 | else | 998 | else if (charpos < ZV) |
| 999 | { | 999 | { |
| 1000 | move_it_by_lines (&it, 1, 1); | 1000 | move_it_by_lines (&it, 1, 1); |
| 1001 | line_height = (it.max_ascent || it.max_descent | 1001 | line_height = (it.max_ascent || it.max_descent |
| 1002 | ? it.max_ascent + it.max_descent | 1002 | ? it.max_ascent + it.max_descent |
| 1003 | : last_height); | 1003 | : last_height); |
| 1004 | } | 1004 | } |
| 1005 | else | ||
| 1006 | line_height = FONT_HEIGHT (FRAME_FONT (XFRAME (w->frame))); | ||
| 1005 | } | 1007 | } |
| 1006 | line_bottom_y = line_top_y + line_height; | 1008 | line_bottom_y = line_top_y + line_height; |
| 1007 | 1009 | ||