get_scale_factor


Description:

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