From 88b1fc014b06849b3fad86d577ce85116e1584fd Mon Sep 17 00:00:00 2001 From: Anuken Date: Tue, 22 Jul 2025 00:23:04 -0400 Subject: [PATCH] Just checking to see if desugaring of the desktop module works --- .../mindustry/desktop/DesktopLauncher.java | 27 ++++++++++++------- 1 file changed, 17 insertions(+), 10 deletions(-) diff --git a/desktop/src/mindustry/desktop/DesktopLauncher.java b/desktop/src/mindustry/desktop/DesktopLauncher.java index 0ae268953c..32b7fdb9f8 100644 --- a/desktop/src/mindustry/desktop/DesktopLauncher.java +++ b/desktop/src/mindustry/desktop/DesktopLauncher.java @@ -49,16 +49,23 @@ public class DesktopLauncher extends ClientLauncher{ if(arg[i].charAt(0) == '-'){ String name = arg[i].substring(1); switch(name){ - case "width": width = Strings.parseInt(arg[i + 1], width); break; - case "height": height = Strings.parseInt(arg[i + 1], height); break; - case "glMajor": gl30Major = Strings.parseInt(arg[i + 1], gl30Major); - case "glMinor": gl30Minor = Strings.parseInt(arg[i + 1], gl30Minor); - case "gl3": gl30 = true; break; - case "gl2": gl30 = false; break; - case "coreGl": coreProfile = true; break; - case "antialias": samples = 16; break; - case "debug": Log.level = LogLevel.debug; break; - case "maximized": maximized = Boolean.parseBoolean(arg[i + 1]); break; + case "width" -> width = Strings.parseInt(arg[i + 1], width); + case "height" -> height = Strings.parseInt(arg[i + 1], height); + case "glMajor" -> { + gl30Major = Strings.parseInt(arg[i + 1], gl30Major); + gl30Minor = Strings.parseInt(arg[i + 1], gl30Minor); + gl30 = true; + } + case "glMinor" -> { + gl30Minor = Strings.parseInt(arg[i + 1], gl30Minor); + gl30 = true; + } + case "gl3" -> gl30 = true; + case "gl2" -> gl30 = false; + case "coreGl" -> coreProfile = true; + case "antialias" -> samples = 16; + case "debug" -> Log.level = LogLevel.debug; + case "maximized" -> maximized = Boolean.parseBoolean(arg[i + 1]); } } }