diff options
Diffstat (limited to 'org.eclipse.egit.ui/src/org')
3 files changed, 5 insertions, 2 deletions
diff --git a/org.eclipse.egit.ui/src/org/eclipse/egit/ui/Activator.java b/org.eclipse.egit.ui/src/org/eclipse/egit/ui/Activator.java index 5613a5894a..0c08cb47cc 100755 --- a/org.eclipse.egit.ui/src/org/eclipse/egit/ui/Activator.java +++ b/org.eclipse.egit.ui/src/org/eclipse/egit/ui/Activator.java @@ -844,6 +844,9 @@ public class Activator extends AbstractUIPlugin implements DebugOptionsListener private final RepositoryCache repositoryCache; private final IndexChangedListener listener = event -> { + if (event.isInternal()) { + return; + } Repository repository = event.getRepository(); if (repository.isBare()) { return; diff --git a/org.eclipse.egit.ui/src/org/eclipse/egit/ui/internal/repository/tree/command/RemoveCommand.java b/org.eclipse.egit.ui/src/org/eclipse/egit/ui/internal/repository/tree/command/RemoveCommand.java index 967c135b9a..42bc21581b 100644 --- a/org.eclipse.egit.ui/src/org/eclipse/egit/ui/internal/repository/tree/command/RemoveCommand.java +++ b/org.eclipse.egit.ui/src/org/eclipse/egit/ui/internal/repository/tree/command/RemoveCommand.java @@ -258,7 +258,7 @@ public class RemoveCommand extends && node.getParent().getType() == RepositoryTreeNodeType.SUBMODULES) { FileUtils.delete(workTree, FileUtils.RECURSIVE | FileUtils.RETRY | FileUtils.SKIP_MISSING); - node.getParent().getRepository().notifyIndexChanged(); + node.getParent().getRepository().notifyIndexChanged(true); } // Delete if empty working directory String[] files = workTree.list(); diff --git a/org.eclipse.egit.ui/src/org/eclipse/egit/ui/internal/synchronize/compare/LocalNonWorkspaceTypedElement.java b/org.eclipse.egit.ui/src/org/eclipse/egit/ui/internal/synchronize/compare/LocalNonWorkspaceTypedElement.java index 6273d93084..4c2754444b 100644 --- a/org.eclipse.egit.ui/src/org/eclipse/egit/ui/internal/synchronize/compare/LocalNonWorkspaceTypedElement.java +++ b/org.eclipse.egit.ui/src/org/eclipse/egit/ui/internal/synchronize/compare/LocalNonWorkspaceTypedElement.java @@ -265,7 +265,7 @@ public class LocalNonWorkspaceTypedElement extends LocalResourceTypedElement { if (!updated) { RepositoryMapping mapping = RepositoryMapping.getMapping(path); if (mapping != null) { - mapping.getRepository().fireEvent(new IndexChangedEvent()); + mapping.getRepository().fireEvent(new IndexChangedEvent(true)); } } } |