On Wed, Nov 7, 2018, 06:29 Donato Marrazzo via gnome-shell-list, < gnome-shell-list@gnome.org> wrote:
> There is a problem with HiDPI and fonts rendering. > > https://gitlab.gnome.org/GNOME/gnome-shell/issues/522 > > it looks that nobody is looking at this problem. > Indeed, what an opportunity! You could be the first to fix it! >
_______________________________________________ gnome-shell-list mailing list gnome-shell-list@gnome.org https://mail.gnome.org/mailman/listinfo/gnome-shell-list