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 [email protected] https://mail.gnome.org/mailman/listinfo/gnome-shell-list
