Function pushCommand

static/editor.md/lib/codemirror/mode/stex/stex.js:22–24

(state, command)

    "use strict";

    function pushCommand(state, command) {
      state.cmdState.push(command);
    }

    function peekCommand(state) {
      if (state.cmdState.length > 0) {