public void saveData(@NotNull Element element) {
logger.debug("saveData");
Element search = new Element("search");
if (lastSearch != null) {
search.addContent(createElementWithText("last-search", lastSearch));
}
if (lastOffset != null) {
search.addContent(createElementWithText("last-offset", lastOffset));
}
if (lastPattern != null) {
search.addContent(createElementWithText("last-pattern", lastPattern));
}
if (lastReplace != null) {
search.addContent(createElementWithText("last-replace", lastReplace));
}
if (lastSubstitute != null) {
search.addContent(createElementWithText("last-substitute", lastSubstitute));
}
Element text = new Element("last-dir");
text.addContent(Integer.toString(lastDir));
search.addContent(text);
text = new Element("show-last");
text.addContent(Boolean.toString(showSearchHighlight));
if (logger.isDebugEnabled()) logger.debug("text=" + text);
search.addContent(text);
element.addContent(search);
}
