This did seem to work recently.
So it might be a particular screen configuration.
Or it might be the unplugging of dvi port that caused the crash, and not mirror mode.
This did seem to work recently.
So it might be a particular screen configuration.
Or it might be the unplugging of dvi port that caused the crash, and not mirror mode.