# HG changeset patch
# User Karl Heuer <kwzh@gnu.org>
# Date 780038002 0
# Node ID 07b281d80445565b4bbf61af34491eb960fe7486
# Parent  a9e40d4788570610cfa7cbcadde7bc40e9b9f9bd
(window_internal_width): Change VERTICAL_SCROLL_BAR_WIDTH to
FRAME_SCROLL_BAR_COLS.

diff -r a9e40d478857 -r 07b281d80445 src/window.c
--- a/src/window.c	Tue Sep 20 05:12:09 1994 +0000
+++ b/src/window.c	Tue Sep 20 05:13:22 1994 +0000
@@ -2340,7 +2340,7 @@
 
   /* Scroll bars occupy a few columns.  */
   if (FRAME_HAS_VERTICAL_SCROLL_BARS (f))
-    return width - VERTICAL_SCROLL_BAR_WIDTH;
+    return width - FRAME_SCROLL_BAR_COLS (f);
 
   /* The column of `|' characters separating side-by-side windows
      occupies one column only.  */