diff src/widgetprv.h @ 47109:796b2ef84d40

(warning-series): Now can be a marker, not an integer. (display-warning): Handle new value for warning-series.
author Richard M. Stallman <rms@gnu.org>
date Thu, 29 Aug 2002 16:46:11 +0000
parents ee40177f6c68
children 23a1cea22d13
line wrap: on
line diff