Fix bug #13723 with redrawing vertical border in GUI sessions.
commitfd80c659d21fa9f42ae0f862fb51580afa63fdd0
authorEli Zaretskii <eliz@gnu.org>
Sun, 17 Feb 2013 16:22:11 +0000 (17 18:22 +0200)
committerEli Zaretskii <eliz@gnu.org>
Sun, 17 Feb 2013 16:22:11 +0000 (17 18:22 +0200)
treee290d63815efc9263d1834ee3a416f7412c70a86
parent6d4cb47e63cfd964ad94fb3e6b1821e5ee38f566
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
src/xdisp.c