diff man/screen.texi @ 29739:96e0d508f234

(menu-bar-options-save): New function. (menu-bar-options-menu): Use it. (menu-bar-options-menu) <toggle-global-lazy-font-lock-mode>: Simplify.
author Dave Love <fx@gnu.org>
date Mon, 19 Jun 2000 14:54:10 +0000
parents ac7e9e5e2ccb
children aad48d49f25c
line wrap: on
line diff