--- a/Documentation/Source/eric6.PluginManager.PluginManager.html Mon Aug 28 16:02:41 2017 +0200 +++ b/Documentation/Source/eric6.PluginManager.PluginManager.html Mon Aug 28 16:02:59 2017 +0200 @@ -456,7 +456,7 @@ </p><dl> <dt><i>type_</i></dt> <dd> -type of the plugin to be activated (string) +type of the plugin to clear private data for (string) </dd> </dl><a NAME="PluginManager.deactivatePlugin" ID="PluginManager.deactivatePlugin"></a> <h4>PluginManager.deactivatePlugin</h4>