[isabelle-dev] window type of Isabelle/jEdit splash screen

Christian Sternagel c.sternagel at gmail.com
Tue Apr 30 14:23:54 CEST 2019

Dear Makarius,

On 4/30/19 1:57 PM, Makarius wrote:
> On 30/04/2019 13:22, Christian Sternagel wrote:
>> In Isabelle2018 the splash screen of Isabelle/jEdit has the X property
>> while with 2388e0d2827b it has
>> This seems to be taken into account by my window manager (i3) in order
>> to decide whether the corresponding window should be floating or not.
>> The effect on my machine is that with Isabelle2018 the splash screen is
>> a nice small rectangle in the middle of my screen, while with
>> 2388e0d2827b it is a big mostly gray blob that takes as much space as is
>> available.
>> Is there any specific reason why the window type of the splash screen
>> changed?
> That could be due to jdk-8 vs. jdk-11, or an update of the jedit_build
> components.
> Can you shuffle these versions a bit, to find out where the change
> happens in the history?

I did not yet do anything systematic the exact point in history where
this changed, but your hint seems to be right. When using

  init_component "$HOME/.isabelle/contrib/jdk-8u181"

in my $HOME/.isabelle/etc/settings I get the old



So it seems to be a Java change. Tough luck!

Btw: I should have been more precise before. I started Isabelle/jEdit via

  $ isabelle jedit

which means, I guess, that the resulting splash screen is actually the
jEdit splash screen (with the "je" logo of jedit) and not the
Isabelle/jEdit splash screen (with the "isabelle" logo)?

I'm just mentioning this, since for the latter (with the "isabelle"
logo) I get

		window state: Normal
		icon window: 0x0
_MOTIF_WM_HINTS(_MOTIF_WM_HINTS) = 0x3, 0x0, 0x0, 0x4c0119e0, 0xc8
		Client accepts input or input focus: False
		Initial state is Normal State.
		user specified location: 860, 0
		program specified location: 860, 0
		user specified size: 200 by 172
		program specified size: 200 by 172
		program specified minimum size: 200 by 172
		program specified maximum size: 200 by 172
		window gravity: NorthWest

which is properly handled as a floating window by my window manager.



> Myself, I do not really understand how these things work. E.g. I have
> recently switched to Budgie Linux with a new fork of the Gnome Window
> manager that is not properly supported by Java 11 / AWT / Swing. I am
> merely ignoring some of the drop-outs.
> These Java guys are so conservative that it will probably take 10 more
> years to get this right, maybe when X11 will be discontinued altogether.
> 	Makarius

More information about the isabelle-dev mailing list