diff src/unexenix.c @ 16812:af96712b7f5d

(easy-menu-create-keymaps): Menu item STYLE toggle (checkbox) and radio (radio button) are prefixed by "[X] " or "(*) " respectively, when selected and "[ ] " or "( ) ", when not selected. In a menu that contain these prefixes, " " is used as prefix for items that have no other prefix. (easy-menu-update-button): New function used as `menu-enable' property for checkboxes and radio buttons to update the prefixes. (easy-menu-define): Change documentation string to describe the new prefixes.
author Richard M. Stallman <rms@gnu.org>
date Thu, 02 Jan 1997 20:20:22 +0000
parents ee40177f6c68
children 23a1cea22d13
line wrap: on
line diff