diff options
-rw-r--r-- | src/ChangeLog | 6 | ||||
-rw-r--r-- | src/xdisp.c | 7 |
2 files changed, 11 insertions, 2 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index f4bee9f0905..06207f6690e 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,9 @@ +2013-02-17 Eli Zaretskii <eliz@gnu.org> + + * xdisp.c (x_draw_vertical_border): For a window that is neither + the leftmost nor the rightmost, redraw both the left and the right + vertical borders. (Bug#13723) + 2013-02-15 Eli Zaretskii <eliz@gnu.org> * w32proc.c (new_child): Free up to 2 slots of dead processes at a diff --git a/src/xdisp.c b/src/xdisp.c index c0dafc820ce..9d2994f0728 100644 --- a/src/xdisp.c +++ b/src/xdisp.c @@ -28422,6 +28422,9 @@ x_draw_vertical_border (struct window *w) if (FRAME_HAS_VERTICAL_SCROLL_BARS (XFRAME (w->frame))) return; + /* Note: It is necessary to redraw bot the left and the right + borders, for when only this single window W is being + redisplayed. */ if (!WINDOW_RIGHTMOST_P (w) && !WINDOW_HAS_VERTICAL_SCROLL_BAR_ON_RIGHT (w)) { @@ -28435,8 +28438,8 @@ x_draw_vertical_border (struct window *w) FRAME_RIF (f)->draw_vertical_window_border (w, x1, y0, y1); } - else if (!WINDOW_LEFTMOST_P (w) - && !WINDOW_HAS_VERTICAL_SCROLL_BAR_ON_LEFT (w)) + if (!WINDOW_LEFTMOST_P (w) + && !WINDOW_HAS_VERTICAL_SCROLL_BAR_ON_LEFT (w)) { int x0, x1, y0, y1; |