Fix output when closing JabRef while indexing#8043

Merged

Siedlerchr merged 4 commits intomainfrom reduce-output-at-interrupt

Aug 31, 2021

+5-3

Commits on Aug 31, 2021

Refine error message
koppor
committed
Bind cancel-property bidirectionally
Benedikt Tutzer
committed
Merge branch 'main' of github.com:JabRef/jabref into reduce-output-at-interrupt
Benedikt Tutzer
committed
Correctly propagate cancel
Benedikt Tutzer
committed