diff options
| author | Dave Love | 2000-06-19 14:55:15 +0000 |
|---|---|---|
| committer | Dave Love | 2000-06-19 14:55:15 +0000 |
| commit | 10013d74edbfcbf69ac194e6c2c0b74e6c8302ca (patch) | |
| tree | c17f3a32169351ca59b43e91006f4d48c1ff638f /src | |
| parent | 998e9f8cb3ee57ab87b9cc7eedf3e8687d4b3406 (diff) | |
| download | emacs-10013d74edbfcbf69ac194e6c2c0b74e6c8302ca.tar.gz emacs-10013d74edbfcbf69ac194e6c2c0b74e6c8302ca.zip | |
(menu-bar-options-save): New function.
(menu-bar-options-menu): Use it.
(menu-bar-options-menu) <toggle-global-lazy-font-lock-mode>: Simplify.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions