mirrors/JetBrainsRuntime
1
0
Fork 0
mirror of https://github.com/JetBrains/JetBrainsRuntime.git synced 2025-12-06 09:29:38 +01:00
Code Issues Packages Projects Releases Wiki Activity

JRE-353 Fedora 25 + XMonad rendering issues

Browse Source 
Added support for Xmonad WM

(cherry picked from commit c690c3c7fdf1390e6b1a8d388ff752a09391ae3c)
(cherry picked from commit 6851dc3441)
This commit is contained in:
Alexey Ushakov
2017-05-12 11:35:23 +03:00
committed by jbrbot
parent f85a4d5ea1
commit ce0cef5f17
1 changed files with 14 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
src/java.desktop/unix/classes/sun/awt/X11/XWM.java
View File

@@ -108,7 +108,8 @@ final class XWM
LG3D_WM = 13,
CWM_WM = 14,
MUTTER_WM = 15,
UNITY_COMPIZ_WM = 16;
UNITY_COMPIZ_WM = 16,
XMONAD_WM = 17;
public String toString() {
switch (WMID) {
case NO_WM:
@@ -141,6 +142,8 @@ final class XWM
return "CWM";
case MUTTER_WM:
return "Mutter";
case XMONAD_WM:
return "Xmonad";
case UNDETERMINED_WM:
default:
return "Undetermined WM";
@@ -606,13 +609,19 @@ final class XWM
return isNetWMName("Mutter") || isNetWMName("GNOME Shell");
}
static boolean isXmonad() {
return isNetWMName("xmonad");
}
static int awtWMNonReparenting = -1;
static boolean isNonReparentingWM() {
if (awtWMNonReparenting == -1) {
awtWMNonReparenting = (XToolkit.getEnv("_JAVA_AWT_WM_NONREPARENTING") != null) ? 1 : 0;
}
return (awtWMNonReparenting == 1 || XWM.getWMID() == XWM.COMPIZ_WM
|| XWM.getWMID() == XWM.LG3D_WM || XWM.getWMID() == XWM.CWM_WM);
|| XWM.getWMID() == XWM.LG3D_WM || XWM.getWMID() == XWM.CWM_WM ||
XWM.getWMID() == XWM.XMONAD_WM
);
}
/*
@@ -803,6 +812,8 @@ final class XWM
awt_wmgr = XWM.ICE_WM;
} else if (isUnityCompiz()) {
awt_wmgr = XWM.UNITY_COMPIZ_WM;
} else if (isXmonad()) {
awt_wmgr = XWM.XMONAD_WM;
}
/*
* We don't check for legacy WM when we already know that WM
@@ -1368,6 +1379,7 @@ final class XWM
break;
case NO_WM:
case LG3D_WM:
case XMONAD_WM:
res = zeroInsets;
break;
case UNITY_COMPIZ_WM: