From fd80c659d21fa9f42ae0f862fb51580afa63fdd0 Mon Sep 17 00:00:00 2001 From: Eli Zaretskii Date: Sun, 17 Feb 2013 18:22:11 +0200 Subject: [PATCH] Fix bug #13723 with redrawing vertical border in GUI sessions. src/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. --- src/ChangeLog | 6 ++++++ src/xdisp.c | 7 +++++-- 2 files changed, 11 insertions(+), 2 deletions(-) diff --git a/src/ChangeLog b/src/ChangeLog index f4bee9f090..06207f6690 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,9 @@ +2013-02-17 Eli Zaretskii + + * 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 * 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 c0dafc820c..9d2994f072 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; -- 2.20.1