src/vs/editor/browser/view/viewPart.ts/PartFingerprints/write
class PartFingerprints:	public static write(target: Element | FastDomNode<HTMLElement>, partId: PartFingerprint) {
		target.setAttribute('data-mprt', String(partId));
	}