Comment # 21 on bug 1208904 from Tony Mechelynck

Hm. The GUI login form has come back, and yet if I run xrandr now with no
parameters, this is what I get:

Screen 0: minimum 320 x 200, current 1024 x 768, maximum 16384 x 16384
DP-1 disconnected (normal left inverted right x axis y axis)
HDMI-1 disconnected (normal left inverted right x axis y axis)
HDMI-2 connected primary 1024x768+0+0 (normal left inverted right x axis y
axis) 256mm x 192mm
   1024x768      60.00*+
   1920x1080     60.00    59.94  
   1280x1024     85.02    60.02  
   1440x900      74.98    59.90  
   1280x960      60.00  
   1360x768      60.02  
   1280x800      59.91  
   1280x720     119.99    60.00    59.94  
   720x480       60.00    59.94  

as if 1024x768 was still both preferred and current. I don't understand.