Email Gateway (Aug 19 2022 at 13:04): Email Gateway (Aug 19 2022 at 13:04):From: David Cock <davec@cse.unsw.edu.au>
After a recent gnome upgrade, jedit suddenly stopped working for me: all
mouse clicks seemed to be offset by some amount, making menus unusable.
A little googling established that this is a bug in the JVM, which
apparently contains a hardcoded list of window managers that don't add
window decorations, so that the swing/AWT can work around' them (I've
got no idea why it feels it needs to, but it does). The trigger (for
me) was that the name of the gnome window manager changed (from Mutter
to Gnome Shell), and thus no longer triggered the hack. The solution
was to install the wmname' utility, which lets you change the name that
the WM reports to clients - I set it back to Mutter, and everything
worked again.
I'm sending this around, as I'm guessing that others will probably run
across this behaviour at some point, and the solution might also make
jedit usable on other tiling WMs (xmonad, ratpoison, etc.). The
long-term solution, of course, is a non-hacky JVM, but I'm not holding
my breath.
Dave
The information in this e-mail may be confidential and subject to legal
professional privilege and/or copyright. National ICT Australia Limited
accepts no liability for any damage caused by this email or its attachments.
Email Gateway (Aug 19 2022 at 13:04):From: Christian Sternagel <c.sternagel@gmail.com>
Dear Dave,
thanks for pointing to "wmname". I was just about to bring up this
issue, again, on the users lists, since it (i.e., pointer offset)
happens to me on Fedora 20 whenever I use Isabelle/jEdit in "full-screen
mode". (Here I do not only mean full-screen as with F11, but also the
variant that is triggered, in Gnome, by double clicking the title-bar of
a window.)
Now I used
$ wname Mutter
and there is no more offset. Thanks!
cheers
chris
Last updated: Apr 23 2024 at 12:29 UTC