diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/xdisp.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/xdisp.c b/src/xdisp.c index 51ce35fedd7..40e83c7d37c 100644 --- a/src/xdisp.c +++ b/src/xdisp.c | |||
| @@ -22400,6 +22400,9 @@ x_draw_vertical_border (w) | |||
| 22400 | window_box_edges (w, -1, &x0, &y0, &x1, &y1); | 22400 | window_box_edges (w, -1, &x0, &y0, &x1, &y1); |
| 22401 | y1 -= 1; | 22401 | y1 -= 1; |
| 22402 | 22402 | ||
| 22403 | if (WINDOW_LEFT_FRINGE_WIDTH (w) == 0) | ||
| 22404 | x1 -= 1; | ||
| 22405 | |||
| 22403 | rif->draw_vertical_window_border (w, x1, y0, y1); | 22406 | rif->draw_vertical_window_border (w, x1, y0, y1); |
| 22404 | } | 22407 | } |
| 22405 | else if (!WINDOW_LEFTMOST_P (w) | 22408 | else if (!WINDOW_LEFTMOST_P (w) |
| @@ -22410,6 +22413,9 @@ x_draw_vertical_border (w) | |||
| 22410 | window_box_edges (w, -1, &x0, &y0, &x1, &y1); | 22413 | window_box_edges (w, -1, &x0, &y0, &x1, &y1); |
| 22411 | y1 -= 1; | 22414 | y1 -= 1; |
| 22412 | 22415 | ||
| 22416 | if (WINDOW_LEFT_FRINGE_WIDTH (w) == 0) | ||
| 22417 | x0 -= 1; | ||
| 22418 | |||
| 22413 | rif->draw_vertical_window_border (w, x0, y0, y1); | 22419 | rif->draw_vertical_window_border (w, x0, y0, y1); |
| 22414 | } | 22420 | } |
| 22415 | } | 22421 | } |