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

IDEA-93336 (workaround for another creative window manager name)

Browse Source
This commit is contained in:
Roman Shevchenko
2012-10-22 16:09:52 +02:00
parent d346a43d07
commit e7113db3d0
1 changed files with 1 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-impl/src/com/intellij/idea/IdeaApplication.java
+1 -3
View File
@@ -140,8 +140,7 @@ public class IdeaApplication {
setWM(xwm, "METACITY_WM"); // Mutter support absent - mimic Metacity
}
}
else if ("Muffin".equals(wmName)) {
// Muffin is completely unsupported at the moment - so mimic Mutter if possible, Metacity otherwise
else if ("Muffin".equals(wmName) || "GNOME Shell".equals(wmName)) {
try {
xwmClass.getDeclaredField("MUTTER_WM");
setWM(xwm, "MUTTER_WM");
@@ -151,7 +150,6 @@ public class IdeaApplication {
}
}
else if ("Marco".equals(wmName)) {
// Marco is another useless Metacity clone
setWM(xwm, "METACITY_WM");
}
else if ("awesome".equals(wmName)) {