diff options
| author | Richard M. Stallman | 1996-09-21 04:18:58 +0000 |
|---|---|---|
| committer | Richard M. Stallman | 1996-09-21 04:18:58 +0000 |
| commit | 36fe2f9a101cfd0ce42e68509c30f5200adb9b91 (patch) | |
| tree | 504e93709a9ec51d4dd7cdc4fd24821ba62de791 /src | |
| parent | 29ec5d84b23e10705b81ecab82779aa1d464c204 (diff) | |
| download | emacs-36fe2f9a101cfd0ce42e68509c30f5200adb9b91.tar.gz emacs-36fe2f9a101cfd0ce42e68509c30f5200adb9b91.zip | |
(VERTICAL_SCROLL_BAR_WIDTH_TRIM): Renamed from
LEFT_VERTICAL_SCROLL_BAR_WIDTH_TRIM.
(VERTICAL_SCROLL_BAR_INSIDE_WIDTH): Use VERTICAL_SCROLL_BAR_WIDTH_TRIM.
Diffstat (limited to 'src')
| -rw-r--r-- | src/xterm.h | 8 |
1 files 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 { | |||
| 606 | ((width) \ | 606 | ((width) \ |
| 607 | - VERTICAL_SCROLL_BAR_LEFT_BORDER \ | 607 | - VERTICAL_SCROLL_BAR_LEFT_BORDER \ |
| 608 | - VERTICAL_SCROLL_BAR_RIGHT_BORDER \ | 608 | - VERTICAL_SCROLL_BAR_RIGHT_BORDER \ |
| 609 | - (FRAME_HAS_VERTICAL_SCROLL_BARS_ON_LEFT (f) \ | 609 | - VERTICAL_SCROLL_BAR_WIDTH_TRIM * 2) |
| 610 | ? LEFT_VERTICAL_SCROLL_BAR_WIDTH_TRIM \ | ||
| 611 | : 0)) | ||
| 612 | 610 | ||
| 613 | /* Return the length of the rectangle within which the top of the | 611 | /* Return the length of the rectangle within which the top of the |
| 614 | handle must stay. This isn't equivalent to the inside height, | 612 | handle must stay. This isn't equivalent to the inside height, |
| @@ -645,9 +643,9 @@ struct scroll_bar { | |||
| 645 | /* Minimum lengths for scroll bar handles, in pixels. */ | 643 | /* Minimum lengths for scroll bar handles, in pixels. */ |
| 646 | #define VERTICAL_SCROLL_BAR_MIN_HANDLE (5) | 644 | #define VERTICAL_SCROLL_BAR_MIN_HANDLE (5) |
| 647 | 645 | ||
| 648 | /* For a left-side scroll bar, trimming off a few pixels prevents | 646 | /* Trimming off a few pixels from each side prevents |
| 649 | text from glomming up against the scroll bar */ | 647 | text from glomming up against the scroll bar */ |
| 650 | #define LEFT_VERTICAL_SCROLL_BAR_WIDTH_TRIM (2) | 648 | #define VERTICAL_SCROLL_BAR_WIDTH_TRIM (2) |
| 651 | 649 | ||
| 652 | 650 | ||
| 653 | /* Manipulating pixel sizes and character sizes. | 651 | /* Manipulating pixel sizes and character sizes. |