I've started a page for these instructions here: https://wiki.gnome.org/HowDoI/HiDpi
Feel free to add more information there, both for users and developers. _______________________________________________ desktop-devel-list mailing list [email protected] https://mail.gnome.org/mailman/listinfo/desktop-devel-list
