Extracted from Pike v7.8 release 866 at 2016-11-06.
pike.ida.liu.se
[Top]
GLUE

Method GLUE.has_extension()


Method has_extension

int(0..1) has_extension(string ext)

Description

Checks if the GL extension ext is currently supported.