assets/src/services/crdt_linear.js
/**
   * Remotely delete given char into crdt line.
   *
   * @param {LocalChange.LocalChange} change
   * @returns {Array<import('./char').Char>}
   */
Remotely delete given char into crdt line.
Remotely delete given char into crdt line .
localDelete (change) {
    const [newCrdt, remoteChanges] = updateCrdtRemove(this.crdt, change)
    this.crdt = newCrdt
    return remoteChanges
  }
localDelete ( change ) { const [ newCrdt , remoteChanges ] = updateCrdtRemove ( this . crdt , change ) this . crdt = newCrdt return remoteChanges }
Remotely delete given char into crdt line.
Remotely delete given char into crdt line .