From 40683985cd1d3655eaa0e5a42ee214708bcf5460 Mon Sep 17 00:00:00 2001 From: SnnBcd xt <1160925501@qq.com> Date: Sat, 22 Jul 2023 19:13:03 +0000 Subject: [PATCH] Fix bugs in highlights --- src/public/app/widgets/highlights_list.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/public/app/widgets/highlights_list.js b/src/public/app/widgets/highlights_list.js index cca31c537b..8b6a800240 100644 --- a/src/public/app/widgets/highlights_list.js +++ b/src/public/app/widgets/highlights_list.js @@ -85,7 +85,7 @@ export default class HighlightsListWidget extends RightPanelWidget { const optionsHighlightsList = JSON.parse(options.get('highlightsList')); - if (note.isLabelTruthy('hideHighlightWidget') || !optionsHighlightsList) { + if (note.isLabelTruthy('hideHighlightWidget') || !optionsHighlightsList.length) { this.toggleInt(false); this.triggerCommand("reEvaluateRightPaneVisibility"); return;