Function pushContext

GUI/codemirror/mode/sql/sql.js:146–153

(stream, state, type)

  }

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

  function popContext(state) {
    state.indent = state.context.indent;