Add attribute disableHighlightsList to disable Highlights List Widget

2023-11-09 21:32:45 +07:00 · 2023-11-09 21:32:45 +07:00 · e7d98206f9
parent e9ece21d20
commit e7d98206f9
1 changed files with 1 additions and 0 deletions
--- a/src/public/app/widgets/highlights_list.js
+++ b/src/public/app/widgets/highlights_list.js
@ -66,6 +66,7 @@ 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';
    }