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

reformat (IDEA-CR-48605)

Browse Source 
GitOrigin-RevId: 7a0bf1018ffae1acb8b00b266dc7454479b0cd05
This commit is contained in:
peter
2019-07-02 06:52:16 +03:00
committed by intellij-monorepo-bot
parent 1163ef365d
commit 910155b0fa
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/lang-impl/src/com/intellij/openapi/roots/impl/PushedFilePropertiesUpdaterImpl.java
+2 -1
View File
@@ -97,7 +97,8 @@ public final class PushedFilePropertiesUpdaterImpl extends PushedFilePropertiesU
// push synchronously to avoid entering dumb mode in the middle of a meaningful write action
// when only a few files are created/moved
syncTasks.forEach(Runnable::run);
} else {
}
else {
delayedTasks.addAll(syncTasks);
}
if (!delayedTasks.isEmpty()) {