From 8b3094c7c622d3420a9e6ca0f82792954a3d00be Mon Sep 17 00:00:00 2001
From: Juri Linkov <juri@jurta.org>
Date: Wed, 1 Sep 2004 18:48:19 +0000
Subject: [PATCH] Add `next-error-highlight' and
 `next-error-highlight-no-select'.

---
 etc/NEWS | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/etc/NEWS b/etc/NEWS
index ef3c6de93ec..2b4f16efa13 100644
--- a/etc/NEWS
+++ b/etc/NEWS
@@ -1862,7 +1862,9 @@ This option allows you to specify environment variables for inferior
 compilation processes without affecting the environment that all
 subprocesses inherit.
 
-*** `next-error' now temporarily highlights the corresponding source line.
+*** New options `next-error-highlight' and `next-error-highlight-no-select'
+specify the method of highlighting of the corresponding source line
+in new face `next-error'.
 
 ** Grep has been decoupled from compilation mode setup.