+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
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))
{
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;