Merge remote-tracking branch 'origin/master'

This commit is contained in:
zadam 2023-07-24 23:47:27 +02:00
commit b4631e927c

View File

@ -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;