From 36fe2f9a101cfd0ce42e68509c30f5200adb9b91 Mon Sep 17 00:00:00 2001 From: "Richard M. Stallman" Date: Sat, 21 Sep 1996 04:18:58 +0000 Subject: [PATCH] (VERTICAL_SCROLL_BAR_WIDTH_TRIM): Renamed from LEFT_VERTICAL_SCROLL_BAR_WIDTH_TRIM. (VERTICAL_SCROLL_BAR_INSIDE_WIDTH): Use VERTICAL_SCROLL_BAR_WIDTH_TRIM. --- src/xterm.h | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) diff --git a/src/xterm.h b/src/xterm.h index ca5fc9e88c6..ea649552521 100644 --- a/src/xterm.h +++ b/src/xterm.h @@ -606,9 +606,7 @@ struct scroll_bar { ((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 @@ struct scroll_bar { /* 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. -- 2.39.2