Copy -> Export to Clipboard: Custom exports not a

[jhh931]

JabRef 5.0--2020-03-06--2e6f433 (Portable)
Windows 10 10.0 amd64
Java 13.0.2

I have several Custom Exports defined, and they word as intended via File -> Export.
However, when right-clicking on an entry in the entry table, and going for "Copy..." -> Export to clipboard, the Custom Exports are not visible. This worked fine in earlier JabRef versions (e.g 3.4.1)

Screengrab below: the red part shows default export formats to choose from, but the Custom Exports are not available in the pull-down menu.

[Siedlerchr]

Hi,
I take a quick look in the code and currently only exporters with the following extensions can be used. My custom exporters (xml and html etension) are listed there correctly.

jabref/src/main/java/org/jabref/gui/exporter/ExportToClipboardAction.java

Line 37 in 3bc1f02

private static final List<String> SUPPORTED_FILETYPES = Arrays.asList("txt", "rtf", "rdf", "xml", "html", "htm", "csv", "ris");

[jhh931]

Ah, that helps. I had my exporter defined as "RTF". After changing to "rtf" all was working well.

So for me this issue is closed, but a suggestion would be to make the code more robust with respect to this point. Or at least explicitly state that the extension should be 'no caps' in the manual, like here:

https://docs.jabref.org/import-export/export/customexports#adding-a-custom-export-filter

[Siedlerchr]

@jhh931 Thanks for the feedback! Before I close this issue I want to check why it actually filters for those file types ( I currently see no reason why) or to make at least the file extensions case insensitive.

[Siedlerchr]

This issue should be now fixed in the latest master. File Extensions are now converted to lower case automatically.