diff options
author | Gabriel Ivascu <gabrielivascu@gnome.org> | 2017-11-22 22:35:03 +0200 |
---|---|---|
committer | Michael Catanzaro <mcatanzaro@igalia.com> | 2017-11-27 17:36:55 -0600 |
commit | ca8fe4ad39fdd0052f8a383c093994874019f69e (patch) | |
tree | 6ea90a45a211a782939bda7ce5769a6bef8e5437 /configure.ac | |
parent | 763b67f0ede582e05c93f6502856119df9250ac1 (diff) | |
download | yelp-ca8fe4ad39fdd0052f8a383c093994874019f69e.tar.gz |
WebKit automatically updates font size on DPI change now
This was introduced in WebKitGTK+ 2.19.2.
https://bugzilla.gnome.org/show_bug.cgi?id=790728
Diffstat (limited to 'configure.ac')
-rw-r--r-- | configure.ac | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.ac b/configure.ac index 1486d369..0c592f20 100644 --- a/configure.ac +++ b/configure.ac @@ -33,7 +33,7 @@ PKG_CHECK_MODULES(YELP, libxslt >= 1.1.4 libexslt >= 0.8.1 sqlite3 - webkit2gtk-4.0 >= 2.15.1 + webkit2gtk-4.0 >= 2.19.2 yelp-xsl >= 3.27.1 ]) AC_SUBST([YELP_CFLAGS]) |