Snapshot idea/138.1980 from git://git.jetbrains.org/idea/community.git

Change-Id: Ib567c9c152d770212a7a3db20fbf591c210920bd

1 files changed, 2 insertions, 8 deletions

diff --git a/platform/platform-impl/src/com/intellij/ui/EditorNotificationsImpl.java b/platform/platform-impl/src/com/intellij/ui/EditorNotificationsImpl.java
index 5721f4af4821..4b788c80ae54 100644
--- a/platform/platform-impl/src/com/intellij/ui/EditorNotificationsImpl.java
+++ b/platform/platform-impl/src/com/intellij/ui/EditorNotificationsImpl.java
@@ -102,13 +102,7 @@ public class EditorNotificationsImpl extends EditorNotifications {
           task.computeInReadAction(indicator);
         }
         else {
-          final ProgressIndicator indicator1 = indicator;
-          myExecutor.execute(new Runnable() {
-            @Override
-            public void run() {
-              ProgressIndicatorUtils.runWithWriteActionPriority(indicator1, task);
-            }
-          });
+          ProgressIndicatorUtils.scheduleWithWriteActionPriority(indicator, myExecutor, task);
         }
       }
     });
@@ -165,7 +159,7 @@ public class EditorNotificationsImpl extends EditorNotifications {
       }
 
       @Override
-      public void onCanceled(@NotNull ProgressIndicator _) {
+      public void onCanceled(@NotNull ProgressIndicator ignored) {
         UIUtil.invokeLaterIfNeeded(new Runnable() {
           @Override
           public void run() {