From 148ca92518fb60eaefa331d497a591f7f4385f3d Mon Sep 17 00:00:00 2001 From: Robin Gareus Date: Thu, 25 Jun 2020 04:59:00 +0200 Subject: [PATCH] Emit Signal when plugin-stats change --- libs/ardour/ardour/plugin_manager.h | 3 +++ libs/ardour/plugin_manager.cc | 1 + 2 files changed, 4 insertions(+) diff --git a/libs/ardour/ardour/plugin_manager.h b/libs/ardour/ardour/plugin_manager.h index 3b0420f515..791ae0e0fc 100644 --- a/libs/ardour/ardour/plugin_manager.h +++ b/libs/ardour/ardour/plugin_manager.h @@ -116,6 +116,9 @@ public: /** plugins were added to or removed from one of the PluginInfoLists */ PBD::Signal0 PluginListChanged; + /** Plugin Statistics (use-count, recently-used) changed */ + PBD::Signal0 PluginStatsChanged; + /** A single plugin's Hidden/Favorite status changed */ PBD::Signal3 PluginStatusChanged; //PluginType t, string id, string tag diff --git a/libs/ardour/plugin_manager.cc b/libs/ardour/plugin_manager.cc index 63cfb5ecdb..dec0823ed8 100644 --- a/libs/ardour/plugin_manager.cc +++ b/libs/ardour/plugin_manager.cc @@ -1655,6 +1655,7 @@ PluginManager::stats_use_plugin (PluginInfoPtr const& pip) statistics.erase (ps); statistics.insert (ps); } + PluginStatsChanged (); /* EMIT SIGNAL */ save_stats (); // XXX }