From 9d3c23d0143ca835f38def9288de2b60289719c2 Mon Sep 17 00:00:00 2001
From: peter <peter@jetbrains.com>
Date: Mon, 28 Apr 2014 15:36:23 +0200
Subject: [PATCH] avoid entering dumb mode to push properties to one file

---
 .../openapi/roots/impl/PushedFilePropertiesUpdater.java   | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/platform/lang-impl/src/com/intellij/openapi/roots/impl/PushedFilePropertiesUpdater.java b/platform/lang-impl/src/com/intellij/openapi/roots/impl/PushedFilePropertiesUpdater.java
index 5d45cf23de80..16887e9df647 100644
--- a/platform/lang-impl/src/com/intellij/openapi/roots/impl/PushedFilePropertiesUpdater.java
+++ b/platform/lang-impl/src/com/intellij/openapi/roots/impl/PushedFilePropertiesUpdater.java
@@ -92,12 +92,14 @@ public class PushedFilePropertiesUpdater {
           public void fileCreated(@NotNull final VirtualFileEvent event) {
             final VirtualFile file = event.getFile();
             final FilePropertyPusher[] pushers = file.isDirectory() ? myPushers : myFilePushers;
-            if (event.isFromRefresh()) {
-              schedulePushRecursively(file, pushers);
-            } else {
+            if (!event.isFromRefresh() || !file.isDirectory()) {
               // push synchronously to avoid entering dumb mode in the middle of a meaningful write action
+              // avoid dumb mode for just one file
               doPushRecursively(file, pushers, ProjectRootManager.getInstance(myProject).getFileIndex());
             }
+            else {
+              schedulePushRecursively(file, pushers);
+            }
           }
 
           @Override