diff GETTING.GNU.SOFTWARE @ 18438:947c1b6ea8de

(widget-menu-minibuffer-flag): New variable. (widget-choose): Alternative method to read one character from the keyboard. (widget-documentation-face): New variable. (widget-specify-doc): Use the variable. (widget-default-button-face-get): Try to get it from the parent. (widget-default-create): Use :tag-face for tags. (widget-edit-functions): Renamed from widget-edit-hook. (widget-field-action): Pass the widget as an arg when running hook. (character): Doc fix. (restricted-sexp): New widget type. (integer, number): Use restricted-sexp.
author Richard M. Stallman <rms@gnu.org>
date Tue, 24 Jun 1997 22:44:30 +0000
parents 87bd6540514f
children 6fcc2c9a1857
line wrap: on
line diff