Merge pull request #4114 from SiriusXT/master

Fix bugs in highlights，v0.61.0-beta
zadam · Jul 24, 2023 · 98d65f8 · 98d65f8
2 parents 0599891 + 4068398
commit 98d65f8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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;