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

[Christian Sternagel]

Dear all,

first of all, this is just a minor thing. I just wanted to have it on
record ;)

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?

cheers

chris

PS: Below is the full "xprop" output for both cases (we see that also
the "class" changed).

In 2388e0d2827b "xprop" gives me:

WM_STATE(WM_STATE):
		window state: Normal
		icon window: 0x0
_NET_WM_DESKTOP(CARDINAL) = 1
_NET_WM_WINDOW_TYPE(ATOM) = _NET_WM_WINDOW_TYPE_NORMAL
_NET_WM_STATE(ATOM) = _NET_WM_STATE_SKIP_TASKBAR, _NET_WM_STATE_FOCUSED
WM_HINTS(WM_HINTS):
		Client accepts input or input focus: False
		window id # of group leader: 0x3400007
WM_TRANSIENT_FOR(WINDOW): window id # 0x0
_NET_WM_PID(CARDINAL) = 4125
WM_CLIENT_MACHINE(STRING) = "cst470s"
WM_PROTOCOLS(ATOM): protocols
_MOTIF_WM_HINTS(_MOTIF_WM_HINTS) = 0x3, 0x0, 0x0, 0x0, 0x0
WM_NORMAL_HINTS(WM_SIZE_HINTS):
		program specified location: 809, 438
		program specified size: 302 by 324
		window gravity: NorthWest
WM_CLASS(STRING) = "isabelle-Main", "isabelle-Main"
WM_CLIENT_LEADER(WINDOW): window id # 0x3400008
_NET_WM_NAME(UTF8_STRING) = "win0"
WM_NAME(STRING) = "win0"

While for Isabelle2018 the output is:

_NET_WM_DESKTOP(CARDINAL) = 1
WM_STATE(WM_STATE):
		window state: Normal
		icon window: 0x0
I3_FLOATING_WINDOW(CARDINAL) = 1
_NET_WM_WINDOW_TYPE(ATOM) = _NET_WM_WINDOW_TYPE_DIALOG
_NET_WM_STATE(ATOM) = _NET_WM_STATE_SKIP_TASKBAR
WM_HINTS(WM_HINTS):
		Client accepts input or input focus: False
		window id # of group leader: 0x3800007
WM_TRANSIENT_FOR(WINDOW): window id # 0x3800007
_NET_WM_PID(CARDINAL) = 5098
WM_CLIENT_MACHINE(STRING) = "cst470s"
WM_PROTOCOLS(ATOM): protocols
_MOTIF_WM_HINTS(_MOTIF_WM_HINTS) = 0x3, 0x0, 0x0, 0x0, 0x0
WM_NORMAL_HINTS(WM_SIZE_HINTS):
		program specified location: 809, 438
		program specified size: 302 by 324
		window gravity: NorthWest
WM_CLASS(STRING) = "sun-awt-X11-XWindowPeer", "jedit"
WM_CLIENT_LEADER(WINDOW): window id # 0x3800008
_NET_WM_NAME(UTF8_STRING) = "win0"
WM_NAME(STRING) = "win0"