Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Issue with Isabelle/jEdit in fullscreen mode i...


view this post on Zulip Email Gateway (Nov 16 2020 at 07:59):

From: Norbert Schirmer via Cl-isabelle-users <cl-isabelle-users@lists.cam.ac.uk>
Dear Isabelle Team,

There is some odd behaviour of Isabelle / jEdit in macOS Big Sur. When using Isabelle / jEdit in fullscreen mode (via the green window-fullscreen toggle in the left-upper corner of the window, not View -> Toggle fullscreen mode), popup windows like the search window (Command - F) or the hypersearch results are now also presented in fullscreen (in Catalina they were presented as ordinary windows on top).

This does not only look odd, but also makes navigating hypersearch results impossible, as one switches back and forth between the editor view and the result view. Moreover, it is unclear how to close the hypersearch results again. Hope this can be resolved with the upcoming Isabelle2021.

Regards,
Norbert

view this post on Zulip Email Gateway (Jan 02 2021 at 10:26):

From: Makarius <makarius@sketis.net>
That is a serious GUI problem. The OpenJDK guys still have no solution for it:
https://bugs.openjdk.java.net/browse/JDK-8256465

Maybe we can figure out some workaround in the coming weeks ... (I am open to
suggestions my macOS experts).

Makarius

view this post on Zulip Email Gateway (Jan 10 2021 at 16:09):

From: Makarius <makarius@sketis.net>
Presently, I don't expect any improvement from the OpenJDK side --- they have
another chance within the next scheduled release around 20-Jan-2021, but there
is nothing in the trackers about it.

I did find one useful hint for the following workaround: see
https://isabelle.sketis.net/repos/isabelle-release/rev/6345ad861a36

Thus full-screen + Find dialog works, but Hypersearch comes out a bit strange.
Maybe I should dock that window by default, instead of letting it float?

Makarius


Last updated: Dec 05 2021 at 23:19 UTC