From 82bfd3abfeb8887af6856507cb580516fd0e9d1e Mon Sep 17 00:00:00 2001 From: Jari Matilainen Date: Mon, 20 Mar 2023 11:04:39 +0100 Subject: [PATCH] Update ignore.in Add NOHILIGHT description to help --- docs/help/in/ignore.in | 2 ++ 1 file changed, 2 insertions(+) diff --git a/docs/help/in/ignore.in b/docs/help/in/ignore.in index 433490e1..351c0411 100644 --- a/docs/help/in/ignore.in +++ b/docs/help/in/ignore.in @@ -29,6 +29,8 @@ because it is allowed in addition to other ignores for the same target. The special level 'HIDDEN' can be used to hide matching messages that can later be revealed using /WINDOW HIDELEVEL -HIDDEN + The special level 'NOHILIGHT' can be used to supress hilights without actually + ignoring the message. %9Examples:%9