changeset 67462:61a462b38364

(Font Lock): Delete the Global FL menu item.
author Richard M. Stallman <rms@gnu.org>
date Sat, 10 Dec 2005 04:10:02 +0000
parents 29c746e855e1
children ba41f14061a6
files man/display.texi
diffstat 1 files changed, 0 insertions(+), 4 deletions(-) [+]
line wrap: on
line diff
--- a/man/display.texi	Sat Dec 10 01:50:23 2005 +0000
+++ b/man/display.texi	Sat Dec 10 04:10:02 2005 +0000
@@ -274,10 +274,6 @@
 (global-font-lock-mode 0)
 @end example
 
-@noindent
-Global Font Lock mode can also be set using the menu bar Options menu,
-specifying first Syntax Highlighting and then Save Options.
-
 @findex turn-on-font-lock
   If you have disabled Global Font Lock mode, you can still enable font
 lock for specific major modes by adding the function