The document view will be reloaded after saving

The window will be reloaded 1.5 seconds after clicking the save button,
to display the document's current state.
TODO: The window should only be reloaded after the client receives the
message, that the commit is succesfull.