From 7e0bfd953c6ee29eeebe1fd3d5a59a6039e81e1f Mon Sep 17 00:00:00 2001
From: =?utf8?q?Jos=C3=A9=20Fonseca?= <jose.r.fonseca@gmail.com>
Date: Sat, 30 Apr 2011 23:09:03 +0100
Subject: [PATCH] Handle EXT_vertex_arrays and EXT_draw_range_elements.

Untested, but should work.
---
 glsize.hpp |  4 ++++
 gltrace.py | 18 ++++++++++--------
 2 files changed, 14 insertions(+), 8 deletions(-)

diff --git a/glsize.hpp b/glsize.hpp
index c0d97db..50d5237 100644
--- a/glsize.hpp
+++ b/glsize.hpp
@@ -95,6 +95,8 @@ __glDrawArrays_maxindex(GLint first, GLsizei count)
     return first + count - 1;
 }
 
+#define __glDrawArraysEXT_maxindex __glDrawArrays_maxindex
+
 static inline GLuint
 __glDrawElements_maxindex(GLsizei count, GLenum type, const GLvoid *indices)
 {
@@ -164,6 +166,8 @@ __glDrawRangeElements_maxindex(GLuint start, GLuint end, GLsizei count, GLenum t
     return __glDrawElements_maxindex(count, type, indices);
 }
 
+#define __glDrawRangeElementsEXT_maxindex __glDrawRangeElements_maxindex
+
 static inline size_t
 __glCallLists_size(GLsizei n, GLenum type)
 {
diff --git a/gltrace.py b/gltrace.py
index a258612..42efa74 100644
--- a/gltrace.py
+++ b/gltrace.py
@@ -227,14 +227,14 @@ class GlTracer(Tracer):
         "glFogCoordPointer",
         "glSecondaryColorPointer",
         
-        #"glVertexPointerEXT",
-        #"glNormalPointerEXT",
-        #"glColorPointerEXT",
-        #"glIndexPointerEXT",
-        #"glTexCoordPointerEXT",
-        #"glEdgeFlagPointerEXT",
-        #"glFogCoordPointerEXT",
-        #"glSecondaryColorPointerEXT",
+        "glVertexPointerEXT",
+        "glNormalPointerEXT",
+        "glColorPointerEXT",
+        "glIndexPointerEXT",
+        "glTexCoordPointerEXT",
+        "glEdgeFlagPointerEXT",
+        "glFogCoordPointerEXT",
+        "glSecondaryColorPointerEXT",
 
         "glVertexAttribPointer",
         "glVertexAttribPointerARB",
@@ -247,8 +247,10 @@ class GlTracer(Tracer):
 
     draw_function_names = set((
         'glDrawArrays',
+        'glDrawArraysEXT',
         'glDrawElements',
         'glDrawRangeElements',
+        'glDrawRangeElementsEXT',
     ))
 
     interleaved_formats = [
-- 
2.45.2