Historically we use the tag 'hidpi' and not 'highdpi'. It doesn't hurt to have both but for searches you will find more under 'hidpi':
https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bugs?field.tag=hidpi
Historically we use the tag 'hidpi' and not 'highdpi'. It doesn't hurt to have both but for searches you will find more under 'hidpi':
https:/ /bugs.launchpad .net/ubuntu/ +source/ gnome-shell/ +bugs?field. tag=hidpi