Workspace: a file can be renamed while its content is still not saved.

[ssapunkova]

Steps: Change the file content, but do not save it => rename the file => try to save the file.

Result: Error message "Cannot save document: Cannot save file contents". Changes to the file cannot be saved in any way.

Possible solution: Ask to save the file (if changed) when trying to rename the file. Do not allow renaming files with changed content that are not yet saved.