diff options
| author | Eli Zaretskii <eliz@gnu.org> | 2013-02-17 18:22:11 +0200 |
|---|---|---|
| committer | Eli Zaretskii <eliz@gnu.org> | 2013-02-17 18:22:11 +0200 |
| commit | fd80c659d21fa9f42ae0f862fb51580afa63fdd0 (patch) | |
| tree | e290d63815efc9263d1834ee3a416f7412c70a86 | |
| parent | 6d4cb47e63cfd964ad94fb3e6b1821e5ee38f566 (diff) | |
| download | emacs-fd80c659d21fa9f42ae0f862fb51580afa63fdd0.tar.gz | |
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.
| -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; |