MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 06:05:01 +07:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #538 (https://github.com/JetBrains/intellij-community/pull/538)

Browse Source
This commit is contained in:
Roman Shevchenko
2017-04-03 13:49:39 +02:00
parent 7adcfd001e 7e054a27dc
commit e8e08693f7
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/util/src/com/intellij/openapi/util/SystemInfo.java
+1
View File
@@ -90,6 +90,7 @@ public class SystemInfo extends SystemInfoRt {
}
public static final boolean isXWindow = isUnix && !isMac;
public static final boolean isWayland = !StringUtil.isEmpty(System.getenv("WAYLAND_DISPLAY"));
/* http://askubuntu.com/questions/72549/how-to-determine-which-window-manager-is-running/227669#227669 */
public static final boolean isGNOME = isXWindow && ObjectUtils.notNull(System.getenv("GDMSESSION"), "").startsWith("gnome");
/* https://userbase.kde.org/KDE_System_Administration/Environment_Variables#KDE_FULL_SESSION */