changeset 16268:eed1157f0587

(VERTICAL_SCROLL_BAR_WIDTH_TRIM): Renamed from LEFT_VERTICAL_SCROLL_BAR_WIDTH_TRIM. (VERTICAL_SCROLL_BAR_INSIDE_WIDTH): Use VERTICAL_SCROLL_BAR_WIDTH_TRIM.
author Richard M. Stallman <rms@gnu.org>
date Sat, 21 Sep 1996 04:18:58 +0000
parents 05ca2cb9fe0f
children 79e6c47054c5
files src/xterm.h
diffstat 1 files changed, 3 insertions(+), 5 deletions(-) [+]
line wrap: on
line diff
--- 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.