diff Makefile.in @ 18461:35976f73432d

(widget-choice-action): Use widget-edit-functions. (widget-toggle-action): Likewise. (widget-choose): Use only digits, except for C-g. Allocate digits to disabled commands too. Don't use a keyboard menu; instead, display a buffer listing all the alternatives. Put cursor in echo area.
author Richard M. Stallman <rms@gnu.org>
date Fri, 27 Jun 1997 06:04:19 +0000
parents 009cc28fa3ec
children de84167645e0
line wrap: on
line diff