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

Fix leak in EditorsSplitters

Browse Source
This commit is contained in:
Kirill Kirichenko
2018-10-09 15:04:15 +03:00
parent cfbcaf9ebf
commit 049cea0c10
1 changed files with 6 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-impl/src/com/intellij/openapi/fileEditor/impl/EditorsSplitters.java
+6 -2
View File
@@ -50,6 +50,7 @@ import java.awt.*;
import java.awt.datatransfer.DataFlavor;
import java.awt.datatransfer.Transferable;
import java.awt.event.ContainerEvent;
import java.beans.PropertyChangeListener;
import java.io.File;
import java.util.List;
import java.util.*;
@@ -76,12 +77,15 @@ public class EditorsSplitters extends IdePanePanel implements UISettingsListener
super(new BorderLayout());
setBackground(JBColor.namedColor("Editor.background", IdeBackgroundUtil.getIdeBackgroundColor()));
UIManager.getDefaults().addPropertyChangeListener(e -> {
PropertyChangeListener l = e -> {
String propName = e.getPropertyName();
if ("Editor.background".equals(propName) || "Editor.foreground".equals(propName) || "Editor.shortcutForeground".equals(propName)) {
repaint();
}
});
};
UIManager.getDefaults().addPropertyChangeListener(l);
Disposer.register(manager.getProject(), () -> UIManager.getDefaults().removePropertyChangeListener(l));
myManager = manager;
myFocusWatcher = new MyFocusWatcher();