eric6/Documentation/Source/eric6.PluginManager.PluginManager.html

changeset 7900
72b88fb20261
parent 7273
391d6b7b1eff
child 7989
a21d673a8f99
--- a/eric6/Documentation/Source/eric6.PluginManager.PluginManager.html	Sat Dec 19 15:06:20 2020 +0100
+++ b/eric6/Documentation/Source/eric6.PluginManager.PluginManager.html	Sat Dec 19 15:22:26 2020 +0100
@@ -526,7 +526,7 @@
 <dd>
 name of the module to be activated
 </dd>
-<dt><i>onDemand=</i></dt>
+<dt><i>onDemand</i></dt>
 <dd>
 flag indicating activation of an
             on demand plugin (boolean)
@@ -635,7 +635,7 @@
 <dd>
 name of the module to be deactivated
 </dd>
-<dt><i>onDemand=</i></dt>
+<dt><i>onDemand</i></dt>
 <dd>
 flag indicating deactivation of an
             on demand plugin (boolean)
@@ -885,7 +885,7 @@
 <dd>
 name of the plugin within the type category (string)
 </dd>
-<dt><i>maybeActive=</i></dt>
+<dt><i>maybeActive</i></dt>
 <dd>
 flag indicating, that the plugin may be active
             already (boolean)

eric ide

mercurial