From 4019043385f512e46dc681e4f2fce1b756803bc8 Mon Sep 17 00:00:00 2001
From: Kirill Kirichenko <kirill.kirichenko@jetbrains.com>
Date: Fri, 15 Jun 2018 11:58:52 +0300
Subject: [PATCH] IDEA-193661: Add/Remove property change listener correctly

---
 .../ide/ui/laf/darcula/ui/DarculaTabbedPaneUI.java       | 9 ++++-----
 1 file changed, 4 insertions(+), 5 deletions(-)

diff --git a/platform/platform-impl/src/com/intellij/ide/ui/laf/darcula/ui/DarculaTabbedPaneUI.java b/platform/platform-impl/src/com/intellij/ide/ui/laf/darcula/ui/DarculaTabbedPaneUI.java
index a49695855970..195e64218a2e 100644
--- a/platform/platform-impl/src/com/intellij/ide/ui/laf/darcula/ui/DarculaTabbedPaneUI.java
+++ b/platform/platform-impl/src/com/intellij/ide/ui/laf/darcula/ui/DarculaTabbedPaneUI.java
@@ -74,6 +74,7 @@ public class DarculaTabbedPaneUI extends BasicTabbedPaneUI {
                               fullBorder ? JBUI.insets(1) : JBUI.insetsTop(1) :
                               fullBorder ? JBUI.insets(0, 1, 1, 1) : JBUI.emptyInsets();
         tabPane.revalidate();
+        tabPane.repaint();
       } else if ("enabled".equals(propName)) {
         for (int ti = 0; ti < tabPane.getTabCount(); ti++) {
           Component tc = tabPane.getTabComponentAt(ti);
@@ -81,13 +82,11 @@ public class DarculaTabbedPaneUI extends BasicTabbedPaneUI {
             tc.setEnabled(evt.getNewValue() == Boolean.TRUE);
           }
         }
+        tabPane.repaint();
       }
-      tabPane.repaint();
     };
 
-    tabPane.addPropertyChangeListener("JTabbedPane.hasFullBorder", panePropertyListener);
-    tabPane.addPropertyChangeListener("tabLayoutPolicy", panePropertyListener);
-    tabPane.addPropertyChangeListener("enabled", panePropertyListener);
+    tabPane.addPropertyChangeListener(panePropertyListener);
 
     paneMouseListener = new MouseAdapter() {
       public void mouseEntered(MouseEvent e) {
@@ -116,7 +115,7 @@ public class DarculaTabbedPaneUI extends BasicTabbedPaneUI {
   protected void uninstallListeners() {
     super.uninstallListeners();
     if (panePropertyListener != null) {
-      tabPane.removePropertyChangeListener("JTabbedPane.hasFullBorder", panePropertyListener);
+      tabPane.removePropertyChangeListener(panePropertyListener);
     }
 
     if (paneMouseListener != null) {