diff -r ecf67e07b6e0 -r 72b88fb20261 eric6/PluginManager/PluginManager.py --- a/eric6/PluginManager/PluginManager.py Sat Dec 19 15:06:20 2020 +0100 +++ b/eric6/PluginManager/PluginManager.py Sat Dec 19 15:22:26 2020 +0100 @@ -596,7 +596,7 @@ Public method to activate a plugin. @param name name of the module to be activated - @keyparam onDemand flag indicating activation of an + @param onDemand flag indicating activation of an on demand plugin (boolean) @return reference to the initialized plugin object @exception PluginActivationError raised to indicate an issue during the @@ -712,7 +712,7 @@ Public method to deactivate a plugin. @param name name of the module to be deactivated - @keyparam onDemand flag indicating deactivation of an + @param onDemand flag indicating deactivation of an on demand plugin (boolean) """ try: @@ -765,7 +765,7 @@ @param type_ type of the plugin to be activated (string) @param typename name of the plugin within the type category (string) - @keyparam maybeActive flag indicating, that the plugin may be active + @param maybeActive flag indicating, that the plugin may be active already (boolean) @return reference to the initialized plugin object """