devicePixelRatio property Null safety

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