Method trackDoc

src/shared/vscode/trackers.ts:40–48

(document: vs.TextDocument, positions: vs.Position[])

	}

	public trackDoc(document: vs.TextDocument, positions: vs.Position[]) {
		// Stash all positions as offsets.
		this.positionMap.clear();
		for (const position of positions)
			this.positionMap.set(position, document.offsetAt(position));

		// Track via the offset tracker.
		this.tracker.trackDoc(document, [...this.positionMap.values()]);
	}

	public dispose() {
		disposeAll(this.disposables);