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

cleanup

Browse Source
This commit is contained in:
Vladimir Krivosheev
2015-11-20 16:27:44 +01:00
parent cd82ad9854
commit f166c442c4
1 changed files with 3 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-impl/src/com/intellij/openapi/fileEditor/impl/EditorsSplitters.java
+3 -5
View File
@@ -167,8 +167,7 @@ public class EditorsSplitters extends IdePanePanel implements UISettingsListener
LOG.assertTrue(comp instanceof JPanel);
final JPanel panel = (JPanel)comp;
if (panel.getComponentCount() != 0) {
final Element res = writePanel(panel);
element.addContent(res);
element.addContent(writePanel(panel));
}
}
}
@@ -196,8 +195,7 @@ public class EditorsSplitters extends IdePanePanel implements UISettingsListener
res.setAttribute(JBTabsImpl.SIDE_TABS_SIZE_LIMIT_KEY.toString(), String.valueOf(limit));
}
final EditorWindow window = findWindowWith(comp);
writeWindow(res, window);
writeWindow(res, findWindowWith(comp));
return res;
}
else if (comp instanceof EditorWindow.TCompForTablessMode) {
@@ -212,7 +210,7 @@ public class EditorsSplitters extends IdePanePanel implements UISettingsListener
}
}
private void writeWindow(final Element res, final EditorWindow window) {
private void writeWindow(@NotNull Element res, @Nullable EditorWindow window) {
if (window != null) {
final EditorWithProviderComposite[] composites = window.getEditors();
for (int i = 0; i < composites.length; i++) {