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


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

export const defaultEditorOptions = {
  model: null,
  readOnly: false,
  contextmenu: true,
  scrollBeyondLastLine: false,
  minimap: {
    enabled: false,
  },
};

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