Function pushOperation

external/.scrollLibs.js:3211–3220

(op)

  var operationGroup = null

  function pushOperation(op) {
    if (operationGroup) {
      operationGroup.ops.push(op)
    } else {
      op.ownsGroup = operationGroup = {
        ops: [op],
        delayedCallbacks: []
      }
    }
  }

  function fireCallbacksForOps(group) {
    // Calls delayed callbacks and cursorActivity handlers until no