From 977aca4fe3b3ded1019fe19f3ead56ca578c7ae3 Mon Sep 17 00:00:00 2001
From: Arne Keller <2012gdwu+github@posteo.de>
Date: Sat, 11 Nov 2023 11:02:01 +0100
Subject: [PATCH] options/highlights_list: document hide label

---
 .../widgets/type_widgets/options/text_notes/highlights_list.js  | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/public/app/widgets/type_widgets/options/text_notes/highlights_list.js b/src/public/app/widgets/type_widgets/options/text_notes/highlights_list.js
index 5e2a2595d..8d450cad5 100644
--- a/src/public/app/widgets/type_widgets/options/text_notes/highlights_list.js
+++ b/src/public/app/widgets/type_widgets/options/text_notes/highlights_list.js
@@ -12,6 +12,8 @@ const TPL = `
     <label><input type="checkbox" class="highlights-list-check" value="underline"> Underlined font &nbsp;</label>
     <label><input type="checkbox" class="highlights-list-check" value="color"> Font with color &nbsp;</label>
     <label><input type="checkbox" class="highlights-list-check" value="bgColor"> Font with background color &nbsp;</label>
+
+    <p>You can disable this functionality for specific notes by adding the #hideHighlightWidget label.</p>
     </div>
 </div>`;