1.1 --- a/src/Tools/jEdit/plugin/Isabelle.props	Mon Mar 23 21:32:14 2009 +0100
     1.2 +++ b/src/Tools/jEdit/plugin/Isabelle.props	Sat Mar 28 15:40:47 2009 +0100
     1.3 @@ -11,7 +11,10 @@
     1.4  #system parameters
     1.5  # jEdit only needs to load the plugin the first time the user accesses it
     1.6  # the presence of this property (activate=defer) also tells jEdit the plugin is using the new API
     1.7 -plugin.isabelle.jedit.Plugin.activate=defer
     1.8 +# plugin.isabelle.jedit.Plugin.activate=defer
     1.9 +#
    1.10 +# for some reasons, activate=defer does not work when jEdit is run from Netbeans
    1.11 +plugin.isabelle.jedit.Plugin.activate=startup
    1.12  plugin.isabelle.jedit.Plugin.usePluginHome=false
    1.13  plugin.isabelle.jedit.Plugin.jars=Pure.jar core-renderer.jar scala-library.jar
    1.14