So I turned to NVIDIA for help, thinking their driver might be buggy. Had to give them an easy way to reproduce the problem, this is the snippet I came up with:
Beauty, eh? ;-) I guess nobody has done this in a workspace for a long time. Stop it with Alt-.| ogl green |
ogl := OpenGL newIn: (0@0 extent: 100@100).
green := 1.
ogl glClearColor(0, green, 0, 1).
green := 1 - green.
] repeat] ensure: [ogl destroy]
Anyway, NVIDIA could reproduce the problem, and found our bug:
[...] the app is trying to create a depth 24 child window of a depth 32 parent and the app specifies neither a border pixel nor a border pixmap.Doh! I forgot to specify the border! We were just lucky that this did not happen before. Jens and y.t. made a patch, should be in the next VM. And big thanks to NVIDIA developer support!