font_size_to_points

Description:

[ Version ( since = "2.20" ) ]
public static uint32 font_size_to_points (uint32 pixels)

Convert pixels to the equivalent value in points.

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

Parameters:

pixels

the font size in pixels to convert to points

Returns:

the equivalent font size in points.