# HG changeset patch # User Karl Heuer # Date 763694756 0 # Node ID fb5923ece02c191f379376f75b4367ee6cb45132 # Parent 3d2f4fb4392472397932aecb4273d63f88dbe118 (VERTICAL_SCROLL_BAR_RIGHT_BORDER): Change from 3 to 2. diff -r 3d2f4fb43924 -r fb5923ece02c src/xterm.h --- a/src/xterm.h Tue Mar 15 01:25:19 1994 +0000 +++ b/src/xterm.h Tue Mar 15 01:25:56 1994 +0000 @@ -541,7 +541,7 @@ from the edges of the scroll bar. These are widths by which we inset the handle boundaries from the scroll bar edges. */ #define VERTICAL_SCROLL_BAR_LEFT_BORDER (2) -#define VERTICAL_SCROLL_BAR_RIGHT_BORDER (3) +#define VERTICAL_SCROLL_BAR_RIGHT_BORDER (2) #define VERTICAL_SCROLL_BAR_TOP_BORDER (2) #define VERTICAL_SCROLL_BAR_BOTTOM_BORDER (2)