Improved synchronization handling

Synchronization of model changes is postponed until the user does not make any changes for ten seconds. This makes the synchronization less intrusive to the user experience.