Method handleUpdate

src/shared/vscode/trackers.ts:81–99

(e: vs.TextDocumentChangeEvent)

	}

	private handleUpdate(e: vs.TextDocumentChangeEvent) {
		if (e.document !== this.document)
			return;

		for (const offset of [...this.offsetMap.keys()]) {
			// The key (offset) is the original offset, which we must use in the
			// map to track the current offset.
			// updateOffset takes the *value*, since we need to map the "current" (not
			// original) value, and then updates the value in the map.
			const currentOffset = this.offsetMap.get(offset)!;
			const newOffset = this.updateOffset(currentOffset, e);
			if (newOffset)
				this.offsetMap.set(offset, newOffset);
			else
				this.offsetMap.delete(offset);
		}

		this.onOffsetsChangedEmitter.fire([e.document, this.offsetMap]);
	}

	private updateOffset(offset: number, change: vs.TextDocumentChangeEvent): number | undefined {
		// If any edit spans us, consider us deleted.