JabRef
Deleting many entries in a large database takes way too long
JabRef 5.7--2022-06-15--cb5fe60 Linux 5.4.0-120-generic amd64 Java 18.0.1 JavaFX unknown
Tried to reproduce https://github.com/JabRef/jabref/issues/5071#issuecomment-624073216
Took me ca. 1-4 minutes to even select 7360 entries from my 100 000 entries database (15,5 mb) with CTRL+Shift+PageUp. This was a lot faster than CTRL+Shift+Up by the way. I don't want to know how long it will take to select 7000 entries with CTRL+Shift+Up....
Then i tried to delete 7360 entries: Used my stop watch to count: 1 hour, 37 minutes ... + X. Did a force close, because I don't want this PC to run at max capacity for hours. Just to delete a simple text in a text-file this seems a little bit over the top.
CPU was pretty high. RAM was normal and stable.
This was done with an old laptop from 2013: Aspire E13 (ES1-311-P87D), the HDD was replaced with a SSD at one point.
Originally posted by @ThiloteE in https://github.com/JabRef/jabref/issues/5071#issuecomment-1159123721
@ilippert @Aegit tagging you, because this issue was originally raised by you both, so you can keep track of this :-)
Sorry for the delayed reply and thanks for creating a new issue. Issue is also mentioned here: https://github.com/JabRef/jabref/issues/5071#issuecomment-624073216 (but better to keep it as a separate new issue, to avoid having to read the long thread).
