[ Version ( since = "2.20" ) ]
public static uint32 font_size_to_points (uint32 pixels)
Convert pixels to the equivalent value in points.
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. |