Re: recent.xml – java.lang.IllegalArgumentException: requirement failed: GUI thread expected

[Makarius]

On 02/05/2025 18:37, Florian Haftmann wrote:
> This refers to 0af7fe946bfd9543697a6736ce244f1b2e004060
> 
> Quite often, jEdit refuses to start with the following traceback:
> 
>> isabelle.jedit.Isabelle_Navigator.init(isabelle_navigator.scala:158)``
>> ``11:38:49 [main] [error] Plugin:  at 
>> isabelle.jedit.Main_Plugin.start(main_plugin.scala:445)``

> Remove ~/.isabelle/jedit/recent.xml restores proper behaviour.
> 
> I have attached one problematic recent.xml

Thanks for the hint and the reproducible example. See now:

changeset:   82619:bfc920530ae6
tag:         tip
user:        wenzelm
date:        Sun May 11 12:05:10 2025 +0200
files:       src/Tools/jEdit/src/isabelle_navigator.scala
description:
more robust (amending 4ca84abb16ef): Main_Plugin.start() could happen on other 
thread, e.g. when $JEDIT_SETTINGS/recent.xml refers to "isabelle-export:" URL;


	Makarius