[ 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.
| pixels |
the font size in pixels to convert to points |
|
the equivalent font size in points. |