src/vs/editor/common/config/editorOptions.ts/EditorPixelRatio/compute
class EditorPixelRatio:	public compute(env: IEnvironmentalOptions, options: IComputedEditorOptions, _: number): number {
		return env.pixelRatio;
	}