It would be really useful to avoid unnecessary network traffic to check and reload a task list when the application receives the focus, as it's the moment i need the list to be updated with peer changes.
Other text editors do this and i find it really useful. The file polling time interval is still useful, with a larger time interval like, say, 1 minute, to be notified of changes when not watching the ToDoList window.