> Sure, an app can always elect whether or not it uses particular extensions. > Maybe I'm missing your point. "An app"? Probably. But some particular (very nice, BTW) apps still very dumb in terms of configuration so I'd like to have ability to turn extensions on/off myself, without modifying the app code (as a user). Anyway, this RFE has priority 0.00000001 (where 1.0 is "Normal").
Cheers, Sergey _______________________________________________ Dri-devel mailing list [EMAIL PROTECTED] https://lists.sourceforge.net/lists/listinfo/dri-devel