Explorer refresh not working for folders with same prefix (fixes #19377)

This commit is contained in:
Benjamin Pasero 2017-01-26 17:34:19 +01:00
parent e93a826213
commit 7450f5d2b7

View file

@ -716,7 +716,7 @@ export class ExplorerView extends CollapsibleViewletView {
// Drop those path which are parents of the current one
for (let i = resolvedDirectories.length - 1; i >= 0; i--) {
const resource = resolvedDirectories[i];
if (stat.resource.toString().indexOf(resource.toString()) === 0) {
if (paths.isEqualOrParent(stat.resource.fsPath, resource.fsPath)) {
resolvedDirectories.splice(i);
}
}