MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

[hg]: update repo config if hgrc file changed

Browse Source
This commit is contained in:
Nadya Zabrodina
2017-03-30 19:54:18 +03:00
parent 6ba9ed4eaf
commit 04f9cd51be
1 changed files with 6 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
plugins/hg4idea/src/org/zmlx/hg4idea/repo/HgRepositoryUpdater.java
+6 -1
View File
@@ -162,7 +162,12 @@ final class HgRepositoryUpdater implements Disposable, BulkFileListener {
myUpdateQueue.queue(new MyUpdater("hgrepositoryUpdate"));
}
if (configHgrcChanged) {
myUpdateConfigQueue.queue(new MyUpdater("hgconfigUpdate"));
myUpdateConfigQueue.queue(new MyUpdater("hgconfigUpdate"){
@Override
public void run() {
myRepository.updateConfig();
}
});
}
if (dirstateFileChanged || hgIgnoreChanged) {
myRepository.getLocalIgnoredHolder().startRescan();