diff options
| author | Eli Zaretskii | 2012-09-09 20:59:50 +0300 |
|---|---|---|
| committer | Eli Zaretskii | 2012-09-09 20:59:50 +0300 |
| commit | e99579563e157a993cef09ee61ea3d0027358f1a (patch) | |
| tree | bd935b2741e06e63cd045f029b29511b10f4271d | |
| parent | f6196b87e1ceee0d56f2fe6f3aa2b9d1d82c44b0 (diff) | |
| download | emacs-e99579563e157a993cef09ee61ea3d0027358f1a.tar.gz emacs-e99579563e157a993cef09ee61ea3d0027358f1a.zip | |
Fix bug #12277 with incomplete redisplay of the vertical border between windows.
src/dispnew.c (update_window_line): When the left margin area of a
screen line is updated, set the redraw_fringe_bitmaps_p flag of
that screen line.
| -rw-r--r-- | src/ChangeLog | 6 | ||||
| -rw-r--r-- | src/dispnew.c | 5 |
2 files changed, 11 insertions, 0 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index ae99fcc138d..e336e3dfe89 100644 --- a/src/ChangeLog +++ b/src/ChangeLog | |||
| @@ -1,3 +1,9 @@ | |||
| 1 | 2012-09-09 Eli Zaretskii <eliz@gnu.org> | ||
| 2 | |||
| 3 | * dispnew.c (update_window_line): When the left margin area of a | ||
| 4 | screen line is updated, set the redraw_fringe_bitmaps_p flag of | ||
| 5 | that screen line. (Bug#12277) | ||
| 6 | |||
| 1 | 2012-09-09 Paul Eggert <eggert@cs.ucla.edu> | 7 | 2012-09-09 Paul Eggert <eggert@cs.ucla.edu> |
| 2 | 8 | ||
| 3 | Assume C89 or later for math functions (Bug#12381). | 9 | Assume C89 or later for math functions (Bug#12381). |
diff --git a/src/dispnew.c b/src/dispnew.c index 85b3254aae3..fae415dcaf2 100644 --- a/src/dispnew.c +++ b/src/dispnew.c | |||
| @@ -3951,6 +3951,11 @@ update_window_line (struct window *w, int vpos, bool *mouse_face_overwritten_p) | |||
| 3951 | { | 3951 | { |
| 3952 | changed_p = 1; | 3952 | changed_p = 1; |
| 3953 | update_marginal_area (w, LEFT_MARGIN_AREA, vpos); | 3953 | update_marginal_area (w, LEFT_MARGIN_AREA, vpos); |
| 3954 | /* Setting this flag will ensure the vertical border, if | ||
| 3955 | any, between this window and the one on its left will be | ||
| 3956 | redrawn. This is necessary because updating the left | ||
| 3957 | margin area can potentially draw over the border. */ | ||
| 3958 | current_row->redraw_fringe_bitmaps_p = 1; | ||
| 3954 | } | 3959 | } |
| 3955 | 3960 | ||
| 3956 | /* Update the display of the text area. */ | 3961 | /* Update the display of the text area. */ |