Fix debug console is cleared on style changed (#224694)

This commit is contained in:
BABA 2024-09-28 19:56:46 +08:00 committed by GitHub
parent 541f878e30
commit 6eba3f2d86
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -210,6 +210,7 @@ export class Repl extends FilterViewPane implements IHistoryNavigationWidget {
this.refreshReplElements(true);
if (this.styleChangedWhenInvisible) {
this.styleChangedWhenInvisible = false;
this.tree?.updateChildren(undefined, true, false);
this.onDidStyleChange();
}
}