font_size_to_pixels

Description:

[ Version ( since = "2.20" ) ]
public static uint32 font_size_to_pixels (uint32 points)

Convert points to the equivalent value in pixels.

Convert points to the equivalent value in pixels, based on the current screen DPI. Applications can use this function to convert font size values in points to font size values in pixels when setting the font size properties of Settings.

Parameters:

points

the font size in points to convert to pixels

Returns:

the equivalent font size in pixels.