On Sat, May 02, 2015 at 12:43:33AM +0200, Christian Schulte wrote: > Hello @ports, > > Using GNOME, Java based applications do not work correctly. The > following patch to Java 1.7 backports a corresponding fix.
Ahah! That might be the underlying reason of minecraft not working properly without patching. Stuart, could you have a look please? > $OpenBSD$ > > Backport of http://hg.openjdk.java.net/jdk8/jdk8/jdk/rev/8530456e0091 > 8024863: X11: Support GNOME Shell as mutter > Reviewed-by: anthony > > --- jdk/src/solaris/classes/sun/awt/X11/XWM.java.orig Thu Jul 3 23:30:47 2014 > +++ jdk/src/solaris/classes/sun/awt/X11/XWM.java Thu Jul 3 23:31:30 2014 > @@ -578,7 +578,7 @@ final class XWM > } > > static boolean isMutter() { > - return isNetWMName("Mutter"); > + return isNetWMName("Mutter") || isNetWMName("GNOME Shell"); > } > > static boolean isNonReparentingWM() { > -- Antoine
