Function
WebKit2Settingsfont_size_to_pixels
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 |