diff etc/MACHINES @ 33893:8b25bc5d3aa4

(widget-field-buffer, widget-field-start) (widget-field-end): Handle widget field `pseudo-overlays'. (widget-field-value-delete): Delete WIDGET from `widget-field-new' if it's there instead of in `widget-field-list'.
author Miles Bader <miles@gnu.org>
date Mon, 27 Nov 2000 09:48:31 +0000
parents ba48db63fa14
children 8de4d56acf6e
line wrap: on
line diff