public void initFromXML(Document xmlFile) { String info = XML.getResourceValueAsPath(xmlFile, "HTMLInfoPanel.info"); if (info != null) updateEditorDisplay(info); }