Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Odd problems with popups


view this post on Zulip Email Gateway (Aug 22 2022 at 10:05):

From: Makarius <makarius@sketis.net>
On Thu, 16 Apr 2015, Lars Noschinski wrote:

I have occasionally problems with hovering, in the sense that popups do
not appear (at least not in a reasonable amount of time). I have not
been able to discern a pattern, so here are some observations:

Did you see these problems again?

From a distance it looks to me like an allergic reaction of the window
manager versus Java/AWT/Swing. What exactly is your desktop environment?

Makarius

view this post on Zulip Email Gateway (Aug 22 2022 at 10:07):

From: Makarius <makarius@sketis.net>
So the next attempt is to try OpenJDK from that system. In principle, it
should be possible to bypass the Isabelle JDK component, by having local
settings with ISABELLE_JDK_HOME pointing to a proper place. This assumes
a canonical directory structure, but Linux packagers often destroy that.

OpenJDK variants claim to work better on the "native" Linux system they
are made for. I've occasionally checked that, with relatively little
success.

Makarius


Last updated: Mar 28 2024 at 20:16 UTC