void (@NotNull Element parentNode) { Element navigatorElement = parentNode.getChild(ELEMENT_NAVIGATOR); if (navigatorElement != null) { savedPaneId = navigatorElement.getAttributeValue(ATTRIBUTE_CURRENT_VIEW); if (savedPaneId == null) { savedPaneSubId = null; } else { savedPaneSubId = navigatorElement.getAttributeValue(ATTRIBUTE_CURRENT_SUBVIEW); } try { splitterProportions.readExternal(navigatorElement); } catch (InvalidDataException ignored) { } } Element panesElement = parentNode.getChild(ELEMENT_PANES); if (panesElement != null) { readPaneState(panesElement); } }