src/vs/editor/browser/editorDom.ts/EditorPagePosition/constructor
class EditorPagePosition:	constructor(
		public readonly x: number,
		public readonly y: number,
		public readonly width: number,
		public readonly height: number
	) { }