Copy changes from EE master

app/assets/javascripts/ide/lib/editor_options.js

 export default [{
+  readOnly: model => !!model.file.file_lock,
 }];