[Development] [HiDPI] Rethinking the scaling algorithm

[Niccolò Belli]

On mercoledì 16 novembre 2016 17:52:59 CET, Christoph Feck wrote:
> There is no perfect solution except to make sure the user can 
> configure the pixmap scale (as he can configure the font size).

Of course, but there are solutions which solve a problem for 90% of the 
userbase and solution which only solve it for 60% ;)
Not being able to aim for perfection doesn't mean you should stop 
improving.