Removal of finished background tasks was added, because during summer, each indexed PDF was appearing as background task. That lead to thousands of tasks and lead to UI issues. Now, it seems that both AI (@InAnYan ) and Lucene (@LoayGhreeb) do a summary task. It would be OK to keep the finished tasks.
We tried to remove finished tasks at https://github.com/JabRef/jabref/pull/11574. However, JabRef did not shut down then (https://github.com/JabRef/jabref/pull/11574#issuecomment-2328077521).
We reverted that PR at https://github.com/JabRef/jabref/pull/11818.
Better solution: Get https://github.com/controlsfx/controlsfx/pull/1567 done and include it.
Discussion:
Removal of finished background tasks was added, because during summer, each indexed PDF was appearing as background task. That lead to thousands of tasks and lead to UI issues. Now, it seems that both AI (@InAnYan ) and Lucene (@LoayGhreeb) do a summary task. It would be OK to keep the finished tasks.
Currently, finished tasks cannot be removed by a user: https://github.com/controlsfx/controlsfx/issues/1559
My proposal:
Investigate 5 hours either in fixing the exception in JabRef - or add the functionality to remove the finished tasks in
TaskProgressView.