Save a source file

A source file is saved locally as well as on server.

On each saving operation, a local history is updated. Right-click on a source file allows to compare current version with one of the historical ones.