My proposed fix was an optional and user-configurable time-out. I would put it at 180 seconds (3 minutes) myself. During that time, Marvin's timer would continue "ticking away" even if the user is outside the book. (The reader may be consulting a 3rd-party dictionary app as part of reading the book, etc.) There are iOS time-keeping apps that can keep their data and running timers even between iDevice restarts (!) -- the time continues running up or down, even when the app itself is not running -- so in a similar way, Marvin might be able to keep the time-keeping intact even if iOS interferes and kills Marvin while Marvin is in background.
|