Comment 15 for bug 1313291

@Gerd: Ja, you have a point here. As my external TV-set and the built-in display are both native widescreens with 1080p resolution I must have missed that. So for me the mirroring is the proper workaround (due to that autoamtic mirroring bug or feature of my system) and for you the "boot thing". Totally agree that a real fix would be even better. :)