JabRef 5.1--2020-08-05--3d68514
Windows 10 10.0 amd64
Java 14.0.2
With the latest development builds it is not possible to delete an entry. Neither "del" key nor right-click-menu "delete" do anything. This does not even work for a single entry in a newy created library.
JabRef 5.1--2020-08-05--3d68514
Windows 10 10.0 amd64
Java 14.0.2
With the latest development builds it is not possible to delete an entry. Neither "del" key nor right-click-menu "delete" do anything. This does not even work for a single entry in a newy created library.