Scaling in Windows is also very far away from being perfect. You need to take care across a lot of components
> Indeed, what an opportunity! You could be the first to fix it! =), Laughed Maybe playing with fonts and themes could help: https://github.com/af2005/Arc-theme-HiDPI Philip Chimento via gnome-shell-list <gnome-shell-list@gnome.org> schrieb am Mi., 7. Nov. 2018, 14:39: > 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 >
_______________________________________________ gnome-shell-list mailing list gnome-shell-list@gnome.org https://mail.gnome.org/mailman/listinfo/gnome-shell-list
