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/listinf
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!
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 vi
