iVProg/js/visualUI/text_editor.js

import * as CodeMirror from "codemirror";
import "codemirror/addon/edit/closebrackets";
import "codemirror/addon/edit/matchbrackets";
// import "codemirror/addon/hint/show-hint";
// import "codemirror/addon/hint/anyword-hint";
import "codemirror/addon/selection/active-line";
import { CodeEditorMode } from "./../util/editorMode2"
CodeEditorMode(CodeMirror);

let codeEditor = null;

export function initTextEditor (element) {
  let id =  element;
  if (element[0] == '#') {
    id = element.substring(1);
  }
  codeEditor = CodeMirror.fromTextArea(document.getElementById(id), {
    theme: "ttcn",
    value: "",
    mode: "text/x-ivprog",
    indentUnit: 4,
    lineNumbers: true,
    matchBrackets: true,
    autoCloseBrackets: true,
    fixedGutter: true,
    styleActiveLine: true,
    readOnly: true
  });
}

export function disable (flag) {
  codeEditor.setOption("readOnly", flag);
  updateEditor();
}

export function updateEditor () {
  codeEditor.refresh();
}

export function setCode (code) {
  codeEditor.setValue(code);
}

export function getCode () {
  return codeEditor.getValue();
}