comparison make-dist @ 21302:77a4a1ce8d26

(menu-bar-options-menu): Remove "Toggle" from item names, using buttons instead. (menu-bar-make-toggle): Define a menu-item toggle button. (menu-bar-options-menu [save-place]): (require 'saveplace). (menu-bar-options-menu [toggle-auto-compression], [auto-fill-mode]) (menu-bar-options-menu [toggle-global-lazy-font-lock-mode]): Define a menu-item button.
author Richard M. Stallman <rms@gnu.org>
date Sat, 28 Mar 1998 05:43:01 +0000
parents 9293d783c708
children 8ff5c2a5ee26
comparison
equal deleted inserted replaced
21301:129d706946d5 21302:77a4a1ce8d26