Michael Nottebrock wrote: > seems this is a problem with the radeon driver. I've been asking around on > IRC about that some time ago and it seems only people with radeon cards are > seeing this phenomenon. Mmh, I have a Radeon card indeed :-(. So is this a known bug -> I don't need to submit a PR? Jochen