From cb8cee27c4d20889ad0fe6ad272d67c60d82a6e3 Mon Sep 17 00:00:00 2001
From: peter <peter@jetbrains.com>
Date: Wed, 28 Oct 2015 18:08:31 +0100
Subject: [PATCH] dump permissions: don't ever start background dumb mode if
 someone requested it to be modal

---
 .../intellij/openapi/project/DumbPermissionServiceImpl.java  | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/platform/platform-impl/src/com/intellij/openapi/project/DumbPermissionServiceImpl.java b/platform/platform-impl/src/com/intellij/openapi/project/DumbPermissionServiceImpl.java
index 9573f9c11bde..4814f6cbf4c8 100644
--- a/platform/platform-impl/src/com/intellij/openapi/project/DumbPermissionServiceImpl.java
+++ b/platform/platform-impl/src/com/intellij/openapi/project/DumbPermissionServiceImpl.java
@@ -27,6 +27,11 @@ public class DumbPermissionServiceImpl implements DumbPermissionService {
   @Override
   public void allowStartingDumbModeInside(@NotNull DumbModePermission permission, @NotNull Runnable runnable) {
     DumbModePermission prev = myPermission.get();
+    if (prev == DumbModePermission.MAY_START_MODAL && permission == DumbModePermission.MAY_START_BACKGROUND) {
+      runnable.run();
+      return;
+    }
+
     myPermission.set(permission);
     try {
       runnable.run();
-- 
2.32.0