one part of the issue could also be https://bugzilla.gnome.org/show_bug.cgi?id=572502 "gnome-display-properties should pick the preferred xrandr mode"
one part of the issue could also be https:/ /bugzilla. gnome.org/ show_bug. cgi?id= 572502 display- properties should pick the preferred xrandr mode"
"gnome-