diff options
author | Quentin Rameau <quinq@fifth.space> | 2015-11-18 15:29:04 +0100 |
---|---|---|
committer | Quentin Rameau <quinq@fifth.space> | 2015-11-20 00:23:59 +0100 |
commit | b0f35be17b4838e1b4e956fcf61f6357f4921462 (patch) | |
tree | 36494e0916371cc16f4520cfa69bb16b9f2e0962 | |
parent | 42829cdad04c6191c6571d571cde051b16834e43 (diff) | |
download | surf-b0f35be17b4838e1b4e956fcf61f6357f4921462.tar.gz surf-b0f35be17b4838e1b4e956fcf61f6357f4921462.tar.bz2 surf-b0f35be17b4838e1b4e956fcf61f6357f4921462.zip |
No option to enforce 96DPI anymore on WebKit2
-rw-r--r-- | surf.c | 14 |
1 files changed, 0 insertions, 14 deletions
@@ -907,20 +907,6 @@ newclient(void) if (enablestyle) setstyle(c, getstyle("about:blank")); - /* - * While stupid, CSS specifies that a pixel represents 1/96 of an inch. - * This ensures websites are not unusably small with a high DPI screen. - * It is equivalent to firefox's "layout.css.devPixelsPerPx" setting. - */ - if (zoomto96dpi) { - screen = gdk_window_get_screen(gwin); - dpi = gdk_screen_get_resolution(screen); - if (dpi != -1) { - g_object_set(G_OBJECT(settings), - "enforce-96-dpi", true, NULL); - webkit_web_view_set_zoom_level(c->view, dpi/96); - } - } /* This might conflict with _zoomto96dpi_. */ if (zoomlevel != 1.0) webkit_web_view_set_zoom_level(c->view, zoomlevel); |