fontSizeToPixels

fun fontSizeToPixels(points: <Error class: unknown class>): <Error class: unknown class>

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 #WebKitSettings.

Return

the equivalent font size in pixels.

Since

2.20

Parameters

points

the font size in points to convert to pixels