Il 25/04/2017 07:00, Jeremy Bicha ha scritto: > GNOME might support non-integer scaling (for Hi-DPI displays). This is something I'd be happy to help, if needed.