 |
tNo option to enforce 96DPI anymore on WebKit2 - surf - customized build of sur… |
 |
git clone git://src.adamsgaard.dk/surf |
 |
Log |
|
Files |
|
Refs |
|
README |
|
LICENSE |
|
--- |
|
commit b0f35be17b4838e1b4e956fcf61f6357f4921462 |
|
parent 42829cdad04c6191c6571d571cde051b16834e43 |
|
Author: Quentin Rameau <[email protected]> |
|
Date: Wed, 18 Nov 2015 15:29:04 +0100 |
|
|
|
No option to enforce 96DPI anymore on WebKit2 |
|
|
|
Diffstat: |
|
M surf.c | 14 -------------- |
|
|
|
1 file changed, 0 insertions(+), 14 deletions(-) |
|
--- |
|
diff --git a/surf.c b/surf.c |
|
t@@ -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); |
