use of org.eclipse.jgit.events.IndexChangedEvent in project egit by eclipse.
the class LocalNonWorkspaceTypedElement method fireChanges.
private void fireChanges() {
fireContentChanged();
// external file change must be reported explicitly, see bug 481682
Repository myRepository = repository;
boolean updated = false;
if (!myRepository.isBare()) {
updated = refreshRepositoryState(myRepository);
}
if (!updated) {
RepositoryMapping mapping = RepositoryMapping.getMapping(path);
if (mapping != null) {
mapping.getRepository().fireEvent(new IndexChangedEvent());
}
}
}
Aggregations