MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

IDEA-193661: Add/Remove property change listener correctly

Browse Source
This commit is contained in:
Kirill Kirichenko
2018-06-15 12:12:49 +03:00
parent 10be8a2af9
commit 4019043385
1 changed files with 4 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-impl/src/com/intellij/ide/ui/laf/darcula/ui/DarculaTabbedPaneUI.java
+4 -5
View File
@@ -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) {