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

Modules
 Events

Classes
 BaseDWIM
 BaseTexture
 DynList
 Font
 List
 RectangleDWIMTexture
 RectangleTexture
 Region
 SquareMesh
 Texture

Methods
 PushPop()
 add_reinit_callback()
 allocate_light()
 debug_stuff()
 draw_box()
 draw_line()
 draw_obox()
 draw_polygon()
 free_light()
 get_all_lists()
 get_all_textures()
 get_aspect()
 get_depth()
 get_drivers()
 get_gl_flags()
 get_screen_mode()
 get_texture_mem_usage()
 has_extension()
 hide_cursor()
 init()
 make_rect_texture()
 make_texture()
 mirror_screen()
 only_dynlists()
 pushpop_depth()
 remove_reinit_callback()
 set_aspect()
 set_depth()
 set_gl_flags()
 set_resolution()
 set_screen_rotation()
 show_cursor()
 swap_buffers()
 toggle_fullscreen()
 xsize()
 ysize()
previousGLUE.get_texture_mem_usage()
GLUE.hide_cursor()next

Method GLUE.has_extension()

Method has_extension

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

Description

Checks if the GL extension ext is currently supported.