Subject: Re: bug#37689: Fringe pixmaps, widgets, etc. look ridiculously tiny in hidpi screen

From: Carlos Pita <[email-masked]>
Date: Mon, 14 Oct 2019 20:49:14 -0300

> factor, thus solving points 1, 2 and 3 above.

Sorry, problem 1 is still unsolved by the proposed approach, not
without extending redisplay_interface.