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