From f10fc7bd7fb1b81a3ae1f769424e39603cfb94e9 Mon Sep 17 00:00:00 2001
From: zadam <zadam.apps@gmail.com>
Date: Mon, 13 Nov 2023 00:34:09 +0100
Subject: [PATCH] Revert "Add attribute disableHighlightsList to disable
 Highlights List Widget"

This reverts commit e7d98206f975d8c46e2fccb14d26e74a56377d74.
---
 src/public/app/widgets/highlights_list.js | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/public/app/widgets/highlights_list.js b/src/public/app/widgets/highlights_list.js
index 1732f19c7..285d9634d 100644
--- a/src/public/app/widgets/highlights_list.js
+++ b/src/public/app/widgets/highlights_list.js
@@ -66,7 +66,6 @@ export default class HighlightsListWidget extends RightPanelWidget {
     isEnabled() {
         return super.isEnabled()
             && this.note.type === 'text'
-	    && !this.note.hasLabel('disableHighlightsList')
             && !this.noteContext.viewScope.highlightsListTemporarilyHidden
             && this.noteContext.viewScope.viewMode === 'default';
     }