Merge pull request #4114 from SiriusXT/master

Fix bugs in highlights,v0.61.0-beta
This commit is contained in:
zadam
2023-07-24 22:58:20 +02:00
committed by GitHub

View File

@@ -85,7 +85,7 @@ export default class HighlightsListWidget extends RightPanelWidget {
const optionsHighlightsList = JSON.parse(options.get('highlightsList')); const optionsHighlightsList = JSON.parse(options.get('highlightsList'));
if (note.isLabelTruthy('hideHighlightWidget') || !optionsHighlightsList) { if (note.isLabelTruthy('hideHighlightWidget') || !optionsHighlightsList.length) {
this.toggleInt(false); this.toggleInt(false);
this.triggerCommand("reEvaluateRightPaneVisibility"); this.triggerCommand("reEvaluateRightPaneVisibility");
return; return;