From 01aa0290524a7e6506a897a5e69f7e6ffe6c8efa Mon Sep 17 00:00:00 2001
From: Anuken <arnukren@gmail.com>
Date: Sun, 21 Sep 2025 00:23:59 -0400
Subject: [PATCH] Minor desktop launcher args fix

---
 desktop/src/mindustry/desktop/DesktopLauncher.java | 1 +
 1 file changed, 1 insertion(+)

diff --git a/desktop/src/mindustry/desktop/DesktopLauncher.java b/desktop/src/mindustry/desktop/DesktopLauncher.java
index ca97a0bf27..241e41e04b 100644
--- a/desktop/src/mindustry/desktop/DesktopLauncher.java
+++ b/desktop/src/mindustry/desktop/DesktopLauncher.java
@@ -76,6 +76,7 @@ public class DesktopLauncher extends ClientLauncher{
                                     String[] split = str.split("\\.");
                                     if(split.length == 2 && Strings.canParsePositiveInt(split[0]) && Strings.canParsePositiveInt(split[1])){
                                         glVersions = new int[][]{{Strings.parseInt(split[0]), Strings.parseInt(split[1])}};
+                                        allowGl30 = true; //when a version is explicitly specified always allow GL 3
                                         break;
                                     }