Merge remote-tracking branch 'origin/master'

zadam · Jul 24, 2023 · b4631e9 · b4631e9
2 parents b7bc843 + 98d65f8
commit b4631e9
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;