--- a/Documentation/Source/eric5.PluginManager.PluginManager.html Sun Mar 30 22:00:14 2014 +0200 +++ b/Documentation/Source/eric5.PluginManager.PluginManager.html Thu Apr 03 23:05:31 2014 +0200 @@ -53,15 +53,15 @@ <dd> emitted just before a plugin is activated -</dd><dt>pluginAboutToBeDeactivated(modulName, pluginObject)</dt> +</dd><dt>pluginAboutToBeDeactivated(moduleName, pluginObject)</dt> <dd> emitted just before a plugin is deactivated -</dd><dt>pluginActivated(modulName, pluginObject)</dt> +</dd><dt>pluginActivated(moduleName, pluginObject)</dt> <dd> emitted just after a plugin was activated -</dd><dt>pluginDeactivated(modulName, pluginObject)</dt> +</dd><dt>pluginDeactivated(moduleName, pluginObject)</dt> <dd> emitted just after a plugin was deactivated