diff make-dist @ 9240:60497ceed71a

(x_figure_window_size): Use new formula for scroll bar width.
author Karl Heuer <kwzh@gnu.org>
date Sun, 02 Oct 1994 22:06:26 +0000
parents f7ae124181cd
children ab020bbb761f
line wrap: on
line diff