On 09/08/2013 04:11 PM, Omair Majid wrote: > Hi, > > With recent versions of GNOME shell, GNOME shell sets the _NET_WM_NAME > to "GNOME Shell" instead of mutter. It's still mutter that's running, > but with a different _NET_WM_NAME. > > The following webrev makes OpenJDK compatible with these newer versions: > http://cr.openjdk.java.net/~omajid/webrevs/new-gnome-shell-compat/00/
Anyone have any comments or suggestions? Is this patch okay for jdk8? Thanks, Omair -- PGP Key: 66484681 (http://pgp.mit.edu/) Fingerprint = F072 555B 0A17 3957 4E95 0056 F286 F14F 6648 4681
