Renaming a file should re-add the extension if missing #11903
Labels
entry-editor
external files
FirstTimeCodeContribution
Triggers GitHub Greeter Workflow
good first issue
An issue intended for project-newcomers. Varies in difficulty.
ui
Is your suggestion for improvement related to a problem? Please describe.
When I rename a file, the extension is not kept
Describe the solution you'd like
demo
demo.pdf
demo
(without extension)JabRef should check whether the user removed the extension. If JabRef cannot find a new extension, it should put the old one (and not just keep the file as is)
Other implementation possibility: The dialog should select the filename only - without extension.
The text was updated successfully, but these errors were encountered: