Function
WebKit2Settingsfont_size_to_pixels
since: 2.20
Declaration [src]
guint32
webkit_settings_font_size_to_pixels (
guint32 points
)
Description [src]
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.
Available since: 2.20