Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Jedit and window managers


view this post on Zulip Email Gateway (Aug 19 2022 at 13:51):

From: Matthew Fernandez <matthew.fernandez@nicta.com.au>
Hi all,

I'm one of those masochists that use a tiling window manager and have had issues making
Isabelle/jedit unusable that have been discussed on this list previously. I've been languishing in
Proof General land for a while and today I inadvertently opened Isabelle/jedit to discover my
previous GUI show stoppers are gone. In particular, if you full screen jedit (F11) in a tiling
window manager the cursor alignment issues also seem resolved.

I don't know which Isabelle version bump was the cure and I suspect it was just a JRE increment, but
I just wanted to nudge anyone else in the same limbo to give Isabelle/jedit another try on the
latest release.

Thanks,
Matt

P.S. Many thanks to David Greenaway for causing me to re-evaluate and realise this.


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.

view this post on Zulip Email Gateway (Aug 19 2022 at 13:51):

From: Makarius <makarius@sketis.net>
On Fri, 14 Feb 2014, Matthew Fernandez wrote:

Isabelle/jedit to discover my previous GUI show stoppers are gone. In
particular, if you full screen jedit (F11) in a tiling window manager
the cursor alignment issues also seem resolved.

I don't know which Isabelle version bump was the cure and I suspect it
was just a JRE increment, but I just wanted to nudge anyone else in the
same limbo to give Isabelle/jedit another try on the latest release.

Nothing of that is speficic to Isabelle/jEdit or jEdit. These are general
problems of AWT/Swing versus X11 window managers, and major projects like
Netbeans, IntelliJ, Minecraft have the same problems with 50% of Linux
installations.

Oracle is doing evasive maneuvers occasionally, so whenever there is a
change it is due to the JDK version. In Isabelle2013-2 that is jdk-7u40,
which is generally a very good one: it works very well on Windows and Mac
OS X (even with Retina), and quite reasonably on more than 50% of Linuxes.

Anybody who feels like helping Oracle to make things better can
participate in the ongoing testing of jdk-8, see also
http://www.oracle.com/technetwork/java/javase/downloads/ea-jsp-142245.html

After installing it somewhere, the Isabelle settings environment needs to
be informed about it, e.g. like this for Mac OS X (in
$ISABELLE_HOME_USER/etc/settings):

ISABELLE_JDK_HOME="/Library/Java/JavaVirtualMachines/jdk1.8.0.jdk/Contents/Home"

Many thanks to David Greenaway for causing me to re-evaluate and realise
this.

Re-evaluation of Isabelle/jEdit is very important for every Isabelle
release. Since the first public version in Isabelle2011-1 (October 2011),
every following release step was so steep that I've got complaints from
Isabelle/jEdit users that they have to learn so many new things.

Makarius

view this post on Zulip Email Gateway (Aug 19 2022 at 13:51):

From: "Jens-D. Doll" <jd@cococo.de>
-------------- from Makarius on Friday, 14 2014 -----------------------
Are you saying that there are principal deficiencies with (some) Linux
versions or does it only concern SWING in older JDKs on Linux?
Jens

view this post on Zulip Email Gateway (Aug 19 2022 at 13:51):

From: Makarius <makarius@sketis.net>
The problem is AWT + various X11 window managers (i.e. normally on Linux);
Swing is on top of AWT. The situation for Java <= 6 is rather bad, but
much better for Java 7 or 8.

E.g. see the OpenJDK discussion
http://mail.openjdk.java.net/pipermail/awt-dev/2012-April/002556.html
which was prompted by yet another fork of some well-known Linux desktop
environment. Whenever that happens there is one more "choice" of Linux
diversity (i.e. more chaos), and one more step away from Linux as serious
desktop OS.

To some extent, recent JDK 7 and 8 have managed to catch up with various
window managers, and some others like xmonad have become more flexible to
actually support AWT. Compared to Windows and Mac OS X, that is all still
a bit fragile, though. I am increasingly estranged from my home platform.

Makarius


Last updated: Mar 29 2024 at 04:18 UTC