omz/DocSets-for-iOS — pull request #27 by tarbrain (2012-09-15 14:58:24+00:00)
Title: Improved deletion of huge DocSets

Hi Ole,

I have noticed that deleting huge DocSets can consume more than 10 sec and then watchd0g kills it.
When restarting the app, it stumbles upon a corrupted DocSet and crashes.

So i have improved the deletion process a little bit:
On the main thread DocSets are only moved to a temp directory (which happens very fast) so the app can update its UI state right away.
Then a background task is scheduled which deletes it safely in the background. Even if this background task should ever crash the remaining files are wiped by the OS when the occupied file system space is needed.

Furthermore i took the liberty to improve the visual appearance of the BookmarksViewController. The buttons are placed differently and the synchronization state now looks a little bit more like in the mail app. If you tap on the sync label it reveals the sync log.