287 |
if( !updateGraphicsConfigurationARB((WindowsWGLDrawableFactory)factory, config, chooser, hdc, extHDC, pfdIDs) ) { |
287 |
if( !((GLCapabilitiesImmutable)config.getChosenCapabilities()).getHardwareAccelerated() |
|
|
288 |
|| !updateGraphicsConfigurationARB((WindowsWGLDrawableFactory)factory, config, chooser, hdc, extHDC, pfdIDs) ) { |
288 |
updateGraphicsConfigurationGDI(config, chooser, hdc, extHDC, pfdIDs); |
289 |
updateGraphicsConfigurationGDI(config, chooser, hdc, extHDC, pfdIDs); |