[isabelle-dev] window type of Isabelle/jEdit splash screen
c.sternagel at gmail.com
Tue Apr 30 14:23:54 CEST 2019
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
>> Is there any specific reason why the window type of the splash screen
> That could be due to jdk-8 vs. jdk-11, or an update of the jedit_build
> 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
in my $HOME/.isabelle/etc/settings I get the old
_NET_WM_WINDOW_TYPE(ATOM) = _NET_WM_WINDOW_TYPE_DIALOG
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
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,
_MOTIF_WM_HINTS(_MOTIF_WM_HINTS) = 0x3, 0x0, 0x0, 0x4c0119e0, 0xc8
WM_PROTOCOLS(ATOM): protocols WM_TAKE_FOCUS, WM_DELETE_WINDOW
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.
More information about the isabelle-dev