Function
WebKit2Settingsfont_size_to_points
Declaration [src]
guint32
webkit_settings_font_size_to_points (
guint32 pixels
)
Description [src]
Convert pixels
to the equivalent value in points.
Convert pixels
to the equivalent value in points, based on the current
screen DPI. 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 WebKitSettings
.
Available since: | 2.20 |