Function pushStateStack

static/editor.md/lib/codemirror/mode/xquery/xquery.js:412–414

(state, newState)

  }

  function pushStateStack(state, newState) {
    state.stack.push(newState);
  }

  function popStateStack(state) {
    state.stack.pop();