Fix closing of library not handling backup and autosave manager shutdown#4794

Merged

LinusDietz merged 3 commits intoJabRef:masterfrom CaptainDaVinci:fix-issue-4789

Mar 26, 2019

+6

Commits on Mar 21, 2019

Fix closing of library not handling backup and autosave manager shutdown
CaptainDaVinci
committed

Commits on Mar 22, 2019

Prevent closing of tab with unsaved changes when user chooses 'return to jabref' option
CaptainDaVinci
committed

Commits on Mar 24, 2019

Prevent shutdown of autosave and backup managers when user cancels closing of tab
CaptainDaVinci
committed