Prevent locked files from being edited
Locked files should not be editable when using the multi-file repo editor
Proposal
Locked files can be opened as a tab, but should be non editable.
- File lock icon should be shown in the file list
- File lock icon should be shown in the compact file tree view (left of editor)
- File lock icon should be shown in the file tab