src/vs/editor/browser/view/viewPart.ts/PartFingerprints/read
class PartFingerprints:	public static read(target: Element): PartFingerprint {
		const r = target.getAttribute('data-mprt');
		if (r === null) {
			return PartFingerprint.None;
		}
		return parseInt(r, 10);
	}