Re: [Evolution] Question about increasing font size
- From: Milan Crha <mcrha redhat com>
- To: evolution-list gnome org
- Subject: Re: [Evolution] Question about increasing font size
- Date: Mon, 09 Dec 2019 10:13:39 +0100
On Fri, 2019-12-06 at 17:04 -0800, Jeffrey Needle via evolution-list
wrote:
Not a fatal flaw, but sometimes a bit inconvenient. Is there some way
to change Evolutions behavior in this respect?
Hi,
it looks like a behavior of WebKitGTK+. Briefly looking into the
sources of Evolution, it only calls webkit_web_view_set_zoom_level() to
change the zooming and that's all. I believe rather than trying to
workaround this in Evolution it would make more sense to have this
fixed/enhanced in WebKitGTK+ itself [1].
Bye,
Milan
[1] https://bugs.webkit.org/enter_bug.cgi
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]