# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 843279538 0
# Node ID eed1157f05878552edf9253ffc421c1798ff964e
# Parent  05ca2cb9fe0f9f82914cb8243b5d15c1b4891f11
(VERTICAL_SCROLL_BAR_WIDTH_TRIM): Renamed from
LEFT_VERTICAL_SCROLL_BAR_WIDTH_TRIM.
(VERTICAL_SCROLL_BAR_INSIDE_WIDTH): Use VERTICAL_SCROLL_BAR_WIDTH_TRIM.

diff -r 05ca2cb9fe0f -r eed1157f0587 src/xterm.h
--- a/src/xterm.h	Sat Sep 21 04:17:30 1996 +0000
+++ b/src/xterm.h	Sat Sep 21 04:18:58 1996 +0000
@@ -606,9 +606,7 @@
   ((width) \
    - VERTICAL_SCROLL_BAR_LEFT_BORDER \
    - VERTICAL_SCROLL_BAR_RIGHT_BORDER \
-   - (FRAME_HAS_VERTICAL_SCROLL_BARS_ON_LEFT (f) \
-      ? LEFT_VERTICAL_SCROLL_BAR_WIDTH_TRIM \
-      : 0))
+   - VERTICAL_SCROLL_BAR_WIDTH_TRIM * 2)
 
 /* Return the length of the rectangle within which the top of the
    handle must stay.  This isn't equivalent to the inside height,
@@ -645,9 +643,9 @@
 /* Minimum lengths for scroll bar handles, in pixels.  */
 #define VERTICAL_SCROLL_BAR_MIN_HANDLE (5)
 
-/* For a left-side scroll bar, trimming off a few pixels prevents
+/* Trimming off a few pixels from each side prevents
    text from glomming up against the scroll bar */
-#define LEFT_VERTICAL_SCROLL_BAR_WIDTH_TRIM (2)
+#define VERTICAL_SCROLL_BAR_WIDTH_TRIM (2)
 
 
 /* Manipulating pixel sizes and character sizes.