Function endOperation_W1

static/editor.md/lib/codemirror/lib/codemirror.js:2969–2971

(op)

  }

  function endOperation_W1(op) {
    op.updatedDisplay = op.mustUpdate && updateDisplayIfNeeded(op.cm, op.update);
  }

  function endOperation_R2(op) {
    var cm = op.cm, display = cm.display;