This commit is contained in:
Rob Lourens
2021-07-14 21:05:02 -07:00
parent 47f68a901e
commit f7380d590b
@@ -1056,7 +1056,7 @@ export class SettingsEditor2 extends EditorPane {
this.tocTreeModel.settingsTreeRoot = this.settingsTreeModel.root as SettingsTreeGroupElement;
const cachedState = this.restoreCachedState();
if (cachedState && cachedState.searchQuery) {
if (cachedState && cachedState.searchQuery || !!this.searchWidget.getValue()) {
await this.onSearchInputChanged();
} else {
this.refreshTOCTree();