proper thread context;

--- a/src/Tools/jEdit/src/jedit_editor.scala	Mon Dec 19 13:20:09 2022 +0100
+++ b/src/Tools/jEdit/src/jedit_editor.scala	Mon Dec 19 13:28:46 2022 +0100
@@ -56,7 +56,7 @@
   /* global changes */
 
   def state_changed(): Unit = {
-    flush()
+    GUI_Thread.later { flush() }
     PIDE.plugin.deps_changed()
     session.global_options.post(Session.Global_Options(PIDE.options.value))
   }