-
Gabriel Ivașcu authored
* Convert points to pixels with webkit_settings_font_size_to_pixels(). * Font size is adjusted automatically when GtkSettings:gtk-xft-dpi changes.
4e2d29dc
* Convert points to pixels with webkit_settings_font_size_to_pixels(). * Font size is adjusted automatically when GtkSettings:gtk-xft-dpi changes.