Function pushContext

static/editor.md/lib/codemirror/mode/ecl/ecl.js:140–142

(state, col, type)

    this.prev = prev;
  }
  function pushContext(state, col, type) {
    return state.context = new Context(state.indented, col, type, null, state.context);
  }
  function popContext(state) {
    var t = state.context.type;
    if (t == ")" || t == "]" || t == "}")