comparison src/window.c @ 8944:07b281d80445

(window_internal_width): Change VERTICAL_SCROLL_BAR_WIDTH to FRAME_SCROLL_BAR_COLS.

8943:a9e40d478857

  /* If we are not flush right, then our rightmost columns are
     occupied by some sort of separator.  */

  /* Scroll bars occupy a few columns.  */
  if (FRAME_HAS_VERTICAL_SCROLL_BARS (f))
    return width - VERTICAL_SCROLL_BAR_WIDTH;

  /* The column of `|' characters separating side-by-side windows
     occupies one column only.  */
  return width - 1;
}

8944:07b281d80445

  /* If we are not flush right, then our rightmost columns are
     occupied by some sort of separator.  */

  /* Scroll bars occupy a few columns.  */
  if (FRAME_HAS_VERTICAL_SCROLL_BARS (f))
    return width - FRAME_SCROLL_BAR_COLS (f);

  /* The column of `|' characters separating side-by-side windows
     occupies one column only.  */
  return width - 1;
}