Parcourir la source

Fixes refresh issue on config change

main
Eric Amodio il y a 6 ans
Parent
révision
e6f2ef15a6
1 fichiers modifiés avec 1 ajouts et 1 suppressions
  1. +1
    -1
      src/views/historyExplorer.ts

+ 1
- 1
src/views/historyExplorer.ts Voir le fichier

@ -114,7 +114,7 @@ export class HistoryExplorer extends Disposable implements TreeDataProvider
this._disposable = this._tree;
}
if (!initializing && this._root === undefined) {
if (!initializing && this._root !== undefined) {
this.refresh(RefreshReason.ConfigurationChanged);
}
}

Chargement…
Annuler
Enregistrer