diff options
| author | Anselm R Garbe <anselm@garbe.us> | 2013-07-20 08:52:10 +0200 |
|---|---|---|
| committer | Anselm R Garbe <anselm@garbe.us> | 2013-07-20 08:52:10 +0200 |
| commit | 7001df98d1cb8121f4555e76c47a31f0975a85dc (patch) | |
| tree | 31e18e74ab3e6db246de955d032b627c94e9074e /surf.c | |
| parent | Setting the cookie file on new instances. (diff) | |
| download | surf-7001df98d1cb8121f4555e76c47a31f0975a85dc.tar.gz surf-7001df98d1cb8121f4555e76c47a31f0975a85dc.tar.bz2 surf-7001df98d1cb8121f4555e76c47a31f0975a85dc.zip | |
applied Nick's 96dpi patch, thanks
Diffstat (limited to 'surf.c')
| -rw-r--r-- | surf.c | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/surf.c b/surf.c index 939a06f..1a9b17a 100644 --- a/surf.c +++ b/surf.c @@ -658,6 +658,8 @@ newclient(void) { WebKitWebSettings *settings; WebKitWebFrame *frame; GdkGeometry hints = { 1, 1 }; + GdkScreen *screen; + gdouble dpi; char *uri, *ua; if(!(c = calloc(1, sizeof(Client)))) @@ -802,6 +804,19 @@ newclient(void) { g_object_set(G_OBJECT(settings), "default-font-size", defaultfontsize, NULL); + /* 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(GTK_WIDGET(c->win)->window); + 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); + } + } + if(enableinspector) { c->inspector = WEBKIT_WEB_INSPECTOR( webkit_web_view_get_inspector(c->view)); |