DE (Linux): correctly capitalize GNOME

Fix #997
This commit is contained in:
李通洲
2024-06-06 16:42:11 +08:00
parent 92ffaf77de
commit eae73883db
5 changed files with 11 additions and 11 deletions
+2 -2
View File
@@ -43,7 +43,7 @@ static const char* parseEnv(void)
return "KDE";
if(getenv("GNOME_DESKTOP_SESSION_ID") != NULL)
return "Gnome";
return "GNOME";
if(getenv("MATE_DESKTOP_SESSION_ID") != NULL)
return "Mate";
@@ -163,7 +163,7 @@ static void applyPrettyNameIfDE(FFDisplayServerResult* result, const char* name)
}
else if(
ffStrEqualsIgnCase(name, "Gnome") ||
ffStrEqualsIgnCase(name, "GNOME") ||
ffStrEqualsIgnCase(name, "ubuntu:GNOME") ||
ffStrEqualsIgnCase(name, "ubuntu") ||
ffStrEqualsIgnCase(name, "gnome-shell")