Email Gateway (Jan 09 2025 at 12:22): Email Gateway (Jan 09 2025 at 12:22):From: Makarius <makarius@sketis.net>
On 1/8/25 06:14, Eugene W. Stark wrote:
When I start Isabelle2025-RC0 by, e.g.:
/opt/Isabelle2025-RC0/bin/isabelle jedit&
the initial window takes over the entire screen area. I consider this
behavior
to be intrusive and Isabelle2024 does not do this. Even if I "restore down"
using the window manager controls at the upper right of the title bar,
exit the program, and restart, it still does the same thing. I scanned
all the
options I could find and I don't see anything that would enable me to
change this.System: Linux Mint 22 (Xorg).
On 08/01/2025 12:18, Eugene W. Stark wrote:
Correction to my previous message (sorry):
The behavior observed is when running Isabelle on Ubuntu 22.04 under Xorg,
displayed remotely using Reminna -> xrdp on a system running Linux Mint 22,
also with Xorg. I have not tried it without the xrdp, but the behavior of
Isabelle2024 and Isabelle2025-RC0 is different even under this configuration.
This sounds like some odd window manager problem: it is a matter of OpenJDK to
do this correctly, but it often doesn't.
For Isabelle2025-RC1 there will be another update of jdk-21, which might
change the situation again.
In the meantime you may also try out https://www.nomachine.com instead of Xorg
/ RDP.
Makarius
Email Gateway (Feb 03 2025 at 21:47):From: Makarius <makarius@sketis.net>
On 09/01/2025 13:22, Makarius wrote:
On 1/8/25 06:14, Eugene W. Stark wrote:
When I start Isabelle2025-RC0 by, e.g.:
/opt/Isabelle2025-RC0/bin/isabelle jedit&
the initial window takes over the entire screen area. I consider this
behavior
to be intrusive and Isabelle2024 does not do this. Even if I "restore down"
using the window manager controls at the upper right of the title bar,
exit the program, and restart, it still does the same thing. I scanned
all the
options I could find and I don't see anything that would enable me to
change this.System: Linux Mint 22 (Xorg).
On 08/01/2025 12:18, Eugene W. Stark wrote:
Correction to my previous message (sorry):
The behavior observed is when running Isabelle on Ubuntu 22.04 under Xorg,
displayed remotely using Reminna -> xrdp on a system running Linux Mint 22,
also with Xorg. I have not tried it without the xrdp, but the behavior of
Isabelle2024 and Isabelle2025-RC0 is different even under this configuration.This sounds like some odd window manager problem: it is a matter of OpenJDK to
do this correctly, but it often doesn't.For Isabelle2025-RC1 there will be another update of jdk-21, which might
change the situation again.In the meantime you may also try out https://www.nomachine.com instead of
Xorg / RDP.
Hi Eugene,
did you try https://www.nomachine.com in the meantime?
Also note that Isabelle2025-RC1 has both an update of OpenJDK 21.0.6 and
FlatLaf 3.5.4 (from old 2.6). This could change GUI behaviour significantly.
Makarius
Last updated: Mar 09 2025 at 12:28 UTC