diff make-dist @ 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 ffc0af16b32a
children 9694822642a7
line wrap: on
line diff