get_scale_factor


Description:

[ 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.

Parameters:

this

a Widget

Returns:

the scale factor for this