[ Version ( since = "3.10" ) ]
public int get_scale_factor ()
Retrieves the internal scale factor that maps from window coordinates to the actual device pixels.
On traditional systems this is 1, on high density outputs, it can be a higher value (typically 2).
See get_scale_factor.
| this |
a Widget |
|
the scale factor for this |