Yes, you're right. It was taken out of xscreensaver-gl-extra for the above reason. We'll put it back once the video drivers are less fragile. See for instance bug #224065 (and other reports).
Yes, you're right. It was taken out of xscreensaver- gl-extra for the above reason. We'll put it back once the video drivers are less fragile. See for instance bug #224065 (and other reports).