Fixes #16 : add a new preference: Enable auto save. If it's enabled, save todo.txt file every 10 seconds