Merge pull request #4421 from fang64/master

Add attribute disableHighlightsList to disable Highlights List Widget
2023-11-13 00:31:00 +07:00 · 2023-11-13 00:31:00 +07:00 · bdbaacaac9
parent 2790f52e36 e7d98206f9
commit bdbaacaac9
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';
    }