Dear Makarius,
On 4/30/19 11:31 PM, Makarius wrote:
> On 30/04/2019 14:23, Christian Sternagel wrote:
>>
>> 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
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