From 02939b8f7c84fff07ab64f77248fbf020597aa6e Mon Sep 17 00:00:00 2001
From: Konstantin Bulenkov <kb@jetbrains.com>
Date: Mon, 21 Jul 2014 18:25:08 +0200
Subject: [PATCH] add problems listener to update counter

---
 .../roots/ui/configuration/ErrorPaneConfigurable.java      | 7 ++++++-
 .../ui/configuration/ProjectStructureConfigurable.java     | 7 ++++++-
 2 files changed, 12 insertions(+), 2 deletions(-)

diff --git a/java/idea-ui/src/com/intellij/openapi/roots/ui/configuration/ErrorPaneConfigurable.java b/java/idea-ui/src/com/intellij/openapi/roots/ui/configuration/ErrorPaneConfigurable.java
index 6546eb1cf5cf..77ccbe6cbdff 100644
--- a/java/idea-ui/src/com/intellij/openapi/roots/ui/configuration/ErrorPaneConfigurable.java
+++ b/java/idea-ui/src/com/intellij/openapi/roots/ui/configuration/ErrorPaneConfigurable.java
@@ -45,9 +45,11 @@ public class ErrorPaneConfigurable extends JPanel implements Configurable, Dispo
   private final Alarm myAlarm;
   private final ArrayList<ConfigurationError> myErrors = new ArrayList<ConfigurationError>();
   private final JTextPane myContent = new JTextPane();
+  private Runnable myOnErrorsChanged;
 
-  public ErrorPaneConfigurable(final Project project, StructureConfigurableContext context) {
+  public ErrorPaneConfigurable(final Project project, StructureConfigurableContext context, Runnable onErrorsChanged) {
     super(new BorderLayout());
+    myOnErrorsChanged = onErrorsChanged;
     myContent.setEditorKit(UIUtil.getHTMLEditorKit());
     myContent.setEditable(false);
     myContent.setBackground(UIUtil.getListBackground());
@@ -148,6 +150,9 @@ public class ErrorPaneConfigurable extends JPanel implements Configurable, Dispo
         }
         html += "</ol></body></html>";
         myContent.setText(html);
+        if (myOnErrorsChanged != null) {
+          myOnErrorsChanged.run();
+        }
       }
     }, 100);
   }
diff --git a/java/idea-ui/src/com/intellij/openapi/roots/ui/configuration/ProjectStructureConfigurable.java b/java/idea-ui/src/com/intellij/openapi/roots/ui/configuration/ProjectStructureConfigurable.java
index a5ae27a7a158..bf083f92c66c 100644
--- a/java/idea-ui/src/com/intellij/openapi/roots/ui/configuration/ProjectStructureConfigurable.java
+++ b/java/idea-ui/src/com/intellij/openapi/roots/ui/configuration/ProjectStructureConfigurable.java
@@ -302,7 +302,12 @@ public class ProjectStructureConfigurable extends BaseConfigurable implements Se
   }
 
   private void addErrorPane() {
-    addConfigurable(new ErrorPaneConfigurable(myProject, myContext), true);
+    addConfigurable(new ErrorPaneConfigurable(myProject, myContext, new Runnable() {
+      @Override
+      public void run() {
+        mySidePanel.getList().repaint();
+      }
+    }), true);
   }
 
   private void addGlobalLibrariesConfig() {