Function pushContext

static/editor.md/lib/codemirror/mode/go/go.js:116–118

(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) {
    if (!state.context.prev) return;
    var t = state.context.type;