Function popCommand

static/editor.md/lib/codemirror/mode/stex/stex.js:34–39

(state)

    }

    function popCommand(state) {
      var plug = state.cmdState.pop();
      if (plug) {
        plug.closeBracket();
      }
    }

    // returns the non-default plugin closest to the end of the list
    function getMostPowerful(state) {