From 0187451c6ff6697911157aadccfff29f20a77eab Mon Sep 17 00:00:00 2001
From: Andrey Breslav <andrey.breslav@jetbrains.com>
Date: Fri, 25 Jan 2013 21:55:28 +0400
Subject: [PATCH] Subscribe for exitDumbMode() to update notifications

Instead of scheduling runWhenSmart(), which does not work sometimes
---
 .../KotlinLibrariesNotificationProvider.java         | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

diff --git a/idea/src/org/jetbrains/jet/plugin/versions/KotlinLibrariesNotificationProvider.java b/idea/src/org/jetbrains/jet/plugin/versions/KotlinLibrariesNotificationProvider.java
index 5bfe3433c5c..7ca9a11c6ce 100644
--- a/idea/src/org/jetbrains/jet/plugin/versions/KotlinLibrariesNotificationProvider.java
+++ b/idea/src/org/jetbrains/jet/plugin/versions/KotlinLibrariesNotificationProvider.java
@@ -77,7 +77,17 @@ public class KotlinLibrariesNotificationProvider extends EditorNotifications.Pro
         connection.subscribe(ProjectTopics.PROJECT_ROOTS, new ModuleRootAdapter() {
             @Override
             public void rootsChanged(ModuleRootEvent event) {
-                DumbService.getInstance(myProject).runWhenSmart(updateNotifications);
+                updateNotifications();
+            }
+        });
+
+        connection.subscribe(DumbService.DUMB_MODE, new DumbService.DumbModeListener() {
+            @Override
+            public void enteredDumbMode() {}
+
+            @Override
+            public void exitDumbMode() {
+                updateNotifications();
             }
         });
     }