Adds a "Synchronize documents" button in the navigation bar.

Sync period (0: manual)

Sync shortcut (?)