diff config.bat @ 33934:dd855bc086f3

(widget-choose): Make sure pop-up window is large enough to display all the choices, as there's no way to scroll it.
author Miles Bader <miles@gnu.org>
date Tue, 28 Nov 2000 05:10:20 +0000
parents e1e1d5816d44
children 6722a8132e56
line wrap: on
line diff