From 36c962505c48fc6c838cb073397a292251295e3e Mon Sep 17 00:00:00 2001 From: "Richard M. Stallman" Date: Sat, 10 Dec 2005 04:11:21 +0000 Subject: [PATCH] (Font Lock): Delete the Global FL menu item. --- man/ChangeLog | 4 ++++ man/display.texi | 4 ---- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/man/ChangeLog b/man/ChangeLog index 3443abbd093..f378e865d4a 100644 --- a/man/ChangeLog +++ b/man/ChangeLog @@ -1,3 +1,7 @@ +2005-12-09 Richard M. Stallman + + * display.texi (Font Lock): Delete the Global FL menu item. + 2005-12-09 Luc Teirlinck * custom.texi (Minibuffer Maps): Mention the maps for file name diff --git a/man/display.texi b/man/display.texi index cc345b93b8f..f532690b238 100644 --- a/man/display.texi +++ b/man/display.texi @@ -274,10 +274,6 @@ interface (@pxref{Easy Customization}), or use the function (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 -- 2.11.4.GIT