Wenn unter GNOME HiDPI nicht funktioniert, dann liegt das an GTK2-, Qt4-, Java- oder sonstwie verbugten Anwendung. Das ist unter Windows meiner Erfahrung nach schlimmer.