(2015-12-20, 12:57)fritsch Wrote: Can you reproduce manually? E.g. using xrandr from the command line?
No. Switching works with xrandr or per settings in the GUI. Only when stopping an SD movie (50Hz) or waking up the chromebox from sleep state the issue occurs when GUI is set to 1080p/23.98.