From ebb69fd5542819eb7ded3225e8d5a9ed3d916c6f Mon Sep 17 00:00:00 2001
From: Duy Tran Khanh <40482367+khanhduytran0@users.noreply.github.com>
Date: Tue, 6 Dec 2022 18:41:21 +0700
Subject: [PATCH] GLFW.java: add glfwExtensionSupported

---
 jre_lwjgl3glfw/src/main/java/org/lwjgl/glfw/GLFW.java | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/jre_lwjgl3glfw/src/main/java/org/lwjgl/glfw/GLFW.java b/jre_lwjgl3glfw/src/main/java/org/lwjgl/glfw/GLFW.java
index 247732615..1ce454d2d 100644
--- a/jre_lwjgl3glfw/src/main/java/org/lwjgl/glfw/GLFW.java
+++ b/jre_lwjgl3glfw/src/main/java/org/lwjgl/glfw/GLFW.java
@@ -14,6 +14,7 @@ import javax.annotation.*;
 import org.lwjgl.*;
 import org.lwjgl.system.*;
 
+import static org.lwjgl.opengl.GL20.*;
 import static org.lwjgl.system.APIUtil.*;
 import static org.lwjgl.system.Checks.*;
 import static org.lwjgl.system.JNI.*;
@@ -1418,4 +1419,10 @@ public class GLFW
         xpos[0] = mGLFWCursorX;
         ypos[0] = mGLFWCursorY;
     }
+
+    public static boolean glfwExtensionSupported(String ext) {
+        //return Arrays.stream(glGetString(GL_EXTENSIONS).split(" ")).anyMatch(ext::equals);
+        // Fast path, but will return true if one has the same prefix
+        return glGetString(GL_EXTENSIONS).contains(ext);
+    }
 }