src/Tools/jEdit/jedit_main/plugin.props

--- a/src/Tools/jEdit/jedit_main/plugin.props	Thu Jul 15 20:11:23 2021 +0200
+++ b/src/Tools/jEdit/jedit_main/plugin.props	Thu Jul 15 20:15:03 2021 +0200
@@ -9,7 +9,7 @@
 plugin.isabelle.jedit_main.Plugin.description=Isabelle Prover IDE
 
 #system parameters
-plugin.isabelle.jedit_main.Plugin.activate=startup   # FIXME
+plugin.isabelle.jedit_main.Plugin.activate=defer
 plugin.isabelle.jedit_main.Plugin.usePluginHome=false
 
 #dependencies