devicePixelRatio property

double get devicePixelRatio

The pixel ratio of the current device.

Should be obtained by querying MediaQuery for the devicePixelRatio.

Implementation

double get devicePixelRatio => _devicePixelRatio;

set devicePixelRatio (double value)

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