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

[Christian Sternagel]

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
>>
>>   _NET_WM_WINDOW_TYPE(ATOM) = _NET_WM_WINDOW_TYPE_DIALOG
>>
>> while with 2388e0d2827b it has
>>
>>   _NET_WM_WINDOW_TYPE(ATOM) = _NET_WM_WINDOW_TYPE_NORMAL
>>
>> 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

  _NET_WM_WINDOW_TYPE(ATOM) = _NET_WM_WINDOW_TYPE_DIALOG

again.

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

_NET_WM_DESKTOP(CARDINAL) = 2
WM_STATE(WM_STATE):
		window state: Normal
		icon window: 0x0
I3_FLOATING_WINDOW(CARDINAL) = 1
WM_NAME(STRING) = "Java"
_NET_WM_STATE(ATOM) = _NET_WM_STATE_SKIP_TASKBAR, _NET_WM_STATE_SKIP_PAGER
_OL_DECOR_DEL(ATOM) = _OL_DECOR_RESIZE, _OL_DECOR_HEADER, _OL_DECOR_PIN,
_OL_DECOR_CLOSE
_MOTIF_WM_HINTS(_MOTIF_WM_HINTS) = 0x3, 0x0, 0x0, 0x4c0119e0, 0xc8
WM_PROTOCOLS(ATOM): protocols  WM_TAKE_FOCUS, WM_DELETE_WINDOW
WM_HINTS(WM_HINTS):
		Client accepts input or input focus: False
		Initial state is Normal State.
WM_NORMAL_HINTS(WM_SIZE_HINTS):
		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.

cheers

chris

> 
> 
> 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
>