I know this because I have an unfixed and reproducible crashing bug in gnome-shell:
1) unplug my 4K monitor from HDMI
2) start up the Display tool in system settings
I know this because I have an unfixed and reproducible crashing bug in gnome-shell:
1) unplug my 4K monitor from HDMI
2) start up the Display tool in system settings