if (texts != null) {
for (String text : texts) {
String replacement =
contents.substring(title.getBeginIndex(), title.getEndIndex()) + "\n" +
text + "\n\n";
errorResult.addReplacement(replacement, GT._("Add {0}", text));
}
}
errorResult.addReplacement("", GT._("Delete section"));
if ((nextTitle != null) && (nextTitle.getLevel() == title.getLevel())) {
errorResult.addEditTocAction();