提交 91487f00 编写于 作者: R Rob Lourens

Settings editor - clear TOC selection when searching. Don't show 'new...

Settings editor - clear TOC selection when searching. Don't show 'new extension' button when it's filtered out.
上级 5190e300
......@@ -898,10 +898,11 @@ export class SettingsEditor2 extends BaseEditor {
this.toggleSearchMode();
this.settingsTree.setInput(this.searchResultModel.root);
} else {
this.tocTreeModel.update();
this.searchResultModel.setResult(type, result);
}
this.tocTreeModel.update();
this.tocTree.setSelection([]);
expandAll(this.tocTree);
return this.renderTree();
......
......@@ -1188,6 +1188,12 @@ export class SettingsTreeFilter implements IFilter {
return element.children.some(child => this.isVisible(tree, child));
}
if (element instanceof SettingsTreeNewExtensionsElement) {
if ((this.viewState.tagFilters && this.viewState.tagFilters.size) || this.viewState.filterToCategory) {
return false;
}
}
return true;
}
......
Markdown is supported
0% .
You are about to add 0 people to the discussion. Proceed with caution.
先完成此消息的编辑!
想要评论请 注册