get_scale_factor
Description:
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.
Parameters:
| this |
a Widget |
Returns:
|
the scale factor for this |