Pike v8.1 release 6

Method GLUE.has_extension()


Method has_extension

bool has_extension(string ext)

Description

Checks if the GL extension ext is currently supported.