Am Freitag, 7. Dezember 2007 10:16:51 schrieb H. Verbeet:
The clearest way to do this would probably be to simply do the disabling in a separate loop over the disabled extensions string, similarly to how we detect the extensions.
This will only partially work because we should also filter "extensions" imported from higher opengl base versions