diff man/display.texi @ 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 4f3a6d09d436
children 9b11091298b7
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