This is a---case limited---patch that will resolve the issue pictured in [1]. To reproduce the "problem" you will have to set a useragent that serves you the latest incarnation of Google.com while using a somewhat "high" DPI display.
[1] http://imgur.com/a/AYeMm
--
Thomas Gardner
From: Hannes S. <ha...@yl...> - 2014-01-01 11:02:36
Just to finally follow up on this...
Thomas Gardner <tom...@gm...> wrote:
> + webkit_web_view_set_zoom_level(client.gui.webview, 221/96);
This means that you hardcoded it for displays using 221dpi, right?
Maybe it would be possible to just make this 221 a configurable value?
Still not ideal, but it should at least be universal.
Hannes