public void initFromXML(Document xmlFile) {
    String info = XML.getResourceValueAsPath(xmlFile, "HTMLInfoPanel.info");

    if (info != null) updateEditorDisplay(info);
  }