Function pushContext

static/js/codemirror/mode/turtle/turtle.js:78–80

(state, type, col)

  }

  function pushContext(state, type, col) {
    state.context = {prev: state.context, indent: state.indent, col: col, type: type};
  }
  function popContext(state) {
    state.indent = state.context.indent;
    state.context = state.context.prev;