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.
_______________________________________________ gnome-shell-list mailing list gnome-shell-list@gnome.org https://mail.gnome.org/mailman/listinfo/gnome-shell-list
