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

always write empty element for tab with index 0

Browse Source 
GitOrigin-RevId: f1adf4487e1568dee03d4037b94ef4eddfa6ca95
This commit is contained in:
develar
2019-04-28 14:59:38 +03:00
committed by intellij-monorepo-bot
parent f151b7c3a6
commit ce88af7743
2 changed files with 7 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
lib/annotations/jdom/org/jdom/annotations.xml
+3
View File
@@ -54,6 +54,9 @@
<item name='org.jdom.Element org.jdom.Attribute getAttribute(java.lang.String)'>
<annotation name='org.jetbrains.annotations.Nullable'/>
</item>
<item name='org.jdom.Element org.jdom.Element addContent(org.jdom.Element) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
</item>
<item name='org.jdom.Element org.jdom.Element getChild(java.lang.String)'>
<annotation name='org.jetbrains.annotations.Nullable'/>
</item>
platform/lang-impl/src/com/intellij/execution/ui/layout/impl/RunnerLayout.java
+4 -4
View File
@@ -132,15 +132,15 @@ public class RunnerLayout {
if (myLightWeightIds != null && myLightWeightIds.contains(eachState.getID())) {
continue;
}
parentNode.addContent(XmlSerializer.serialize(eachState));
Element element = XmlSerializer.serialize(eachState);
parentNode.addContent(element == null ? new Element("ViewImpl") : element);
}
for (TabImpl eachTab : myTabs) {
if (isUsed(eachTab)) {
Element element = XmlSerializer.serialize(eachTab);
if (element != null) {
parentNode.addContent(element);
}
parentNode.addContent(element == null ? new Element("TabImpl") : element);
}
}