提交 371c853f 编写于 作者: R Rob Lourens

Fix #67690 - only render setting trees when the settings editor is visible

上级 a6ab525d
......@@ -971,11 +971,15 @@ export class SettingsEditor2 extends BaseEditor {
}
private refreshTree(): void {
this.settingsTree.setChildren(null, createGroupIterator(this.currentSettingsModel.root));
if (this.isVisible()) {
this.settingsTree.setChildren(null, createGroupIterator(this.currentSettingsModel.root));
}
}
private refreshTOCTree(): void {
this.tocTree.setChildren(null, createTOCIterator(this.tocTreeModel, this.tocTree));
if (this.isVisible()) {
this.tocTree.setChildren(null, createTOCIterator(this.tocTreeModel, this.tocTree));
}
}
private updateModifiedLabelForKey(key: string): void {
......
Markdown is supported
0% .
You are about to add 0 people to the discussion. Proceed with caution.
先完成此消息的编辑!
想要评论请 注册