Emit Signal when plugin-stats change

This commit is contained in:
Robin Gareus 2020-06-25 04:59:00 +02:00
parent be701f0248
commit 148ca92518
No known key found for this signature in database
GPG key ID: A090BCE02CF57F04
2 changed files with 4 additions and 0 deletions

View file

@ -116,6 +116,9 @@ public:
/** plugins were added to or removed from one of the PluginInfoLists */
PBD::Signal0<void> PluginListChanged;
/** Plugin Statistics (use-count, recently-used) changed */
PBD::Signal0<void> PluginStatsChanged;
/** A single plugin's Hidden/Favorite status changed */
PBD::Signal3<void, ARDOUR::PluginType, std::string, PluginStatusType> PluginStatusChanged; //PluginType t, string id, string tag

View file

@ -1655,6 +1655,7 @@ PluginManager::stats_use_plugin (PluginInfoPtr const& pip)
statistics.erase (ps);
statistics.insert (ps);
}
PluginStatsChanged (); /* EMIT SIGNAL */
save_stats (); // XXX
}