diff options
Diffstat (limited to 'src/classes/javax')
-rw-r--r-- | src/classes/javax/media/opengl/GLContext.java | 6 | ||||
-rw-r--r-- | src/classes/javax/media/opengl/GLProfile.java | 9 |
2 files changed, 12 insertions, 3 deletions
diff --git a/src/classes/javax/media/opengl/GLContext.java b/src/classes/javax/media/opengl/GLContext.java index 998ede419..ae9c11786 100644 --- a/src/classes/javax/media/opengl/GLContext.java +++ b/src/classes/javax/media/opengl/GLContext.java @@ -194,6 +194,12 @@ public abstract class GLContext { " Factory: "+ getGLDrawable().getFactory().getClass().getName()+")"; } + /** Returns a non-null (but possibly empty) string containing the + space-separated list of available platform-dependent (e.g., WGL, + GLX) extensions. Can only be called while this context is + current. */ + public abstract String getPlatformExtensionsString(); + /** * Mapping fixed function (client) array indices to * GLSL array attribute names. diff --git a/src/classes/javax/media/opengl/GLProfile.java b/src/classes/javax/media/opengl/GLProfile.java index 14a57cc8c..0d1c73d07 100644 --- a/src/classes/javax/media/opengl/GLProfile.java +++ b/src/classes/javax/media/opengl/GLProfile.java @@ -123,23 +123,26 @@ public class GLProfile { /** * Selects a profile, implementing the interface GL2ES1. + * Order: GL2, GL2ES12, GLES1 */ public static synchronized final void setProfileGL2ES1() { - setProfile(new String[] { GLES1, GL2ES12, GL2 }); + setProfile(new String[] { GL2, GL2ES12, GLES1 }); } /** * Selects a profile, implementing the interface GL2ES2. + * Order: GL2, GL2ES12, GLES2 */ public static synchronized final void setProfileGL2ES2() { - setProfile(new String[] { GLES2, GL2ES12, GL2 }); + setProfile(new String[] { GL2, GL2ES12, GLES2 }); } /** * Selects a profile, implementing the interface GL + * Order: GL2, GL2ES12, GLES2, GLES1 */ public static synchronized final void setProfileGLAny() { - setProfile(new String[] { GLES2, GLES1, GL2ES12, GL2 }); + setProfile(new String[] { GL2, GL2ES12, GLES2, GLES1 }); } public static final String getProfile() { |