devicePixelRatio property

double devicePixelRatio

The pixel ratio of the current device.

Should be obtained by querying MediaQuery for the devicePixelRatio.

Implementation

double get devicePixelRatio => _devicePixelRatio;

void devicePixelRatio=(double value)

Implementation

set devicePixelRatio(double value) {
  if (devicePixelRatio == value) return;
  _devicePixelRatio = value;
  markNeedsTextLayout();
}