# HG changeset patch
# User Karl Heuer <kwzh@gnu.org>
# Date 780038333 0
# Node ID a6254c24d67030be73d83a78979b5c58a0dd7961
# Parent  f2249e034d503ebbd158aef08d9e6384a756cc88
(VERTICAL_SCROLL_BAR_PIXEL_WIDTH): Deleted.

diff -r f2249e034d50 -r a6254c24d670 src/xterm.h
--- a/src/xterm.h	Tue Sep 20 05:17:41 1994 +0000
+++ b/src/xterm.h	Tue Sep 20 05:18:53 1994 +0000
@@ -518,9 +518,6 @@
   (SCROLL_BAR_UNPACK ((ptr)->x_window_low, (ptr)->x_window_high, (int) id))
 
 
-/* Return the outside pixel width for a vertical scroll bar on frame F.  */
-#define VERTICAL_SCROLL_BAR_PIXEL_WIDTH(f) (2*FONT_WIDTH ((f)->display.x->font))
-
 /* Return the outside pixel height for a vertical scroll bar HEIGHT
    rows high on frame F.  */
 #define VERTICAL_SCROLL_BAR_PIXEL_HEIGHT(f, height) \