diff --git a/annis-gui/src/main/java/annis/gui/ExportPanel.java b/annis-gui/src/main/java/annis/gui/ExportPanel.java index 34b5a9faaa..5a282ec241 100644 --- a/annis-gui/src/main/java/annis/gui/ExportPanel.java +++ b/annis-gui/src/main/java/annis/gui/ExportPanel.java @@ -267,6 +267,9 @@ private void initHelpMessages() + "metakeys=title,documentname)
" + "numbers - set to \"false\" if the grid event numbers should not be included in the output (e.g. " + "numbers=false)"); + + help4Exporter.put(EXPORTER[4].getClass().getSimpleName(), + "The SimpleTextExporter exports only the plain text of every search result. "); } public class ExporterSelectionHelpListener implements