FullTextSearch: Make check of existing PDFs optional#673

koppor wants to merge 1 commit intomainJabRef/jabref-koppor:mainfrom

add-optionality-for-pdf-re-checkJabRef/jabref-koppor:add-optionality-for-pdf-re-checkCopy head branch name to clipboard