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();
}