PluginManager::PluginTerminatorPluginManager::PluginTerminatorclass PluginManager::PluginTerminator Public Functions void operator()(CutterPlugin*) const