13
0

Update "By Tags" menu when Plugin-tags change -- #7800

This commit is contained in:
Robin Gareus 2019-08-27 12:17:46 +02:00
parent 191dea0248
commit 79b23a893d
Signed by: rgareus
GPG Key ID: A090BCE02CF57F04

View File

@ -81,6 +81,7 @@ PluginSelector::PluginSelector (PluginManager& mgr)
manager.PluginListChanged.connect (plugin_list_changed_connection, invalidator (*this), boost::bind (&PluginSelector::build_plugin_menu, this), gui_context());
manager.PluginStatusChanged.connect (plugin_list_changed_connection, invalidator (*this), boost::bind (&PluginSelector::build_plugin_menu, this), gui_context());
manager.PluginTagChanged.connect (plugin_list_changed_connection, invalidator (*this), boost::bind (&PluginSelector::build_plugin_menu, this), gui_context());
manager.PluginStatusChanged.connect (plugin_list_changed_connection, invalidator (*this), boost::bind (&PluginSelector::plugin_status_changed, this, _1, _2, _3), gui_context());
manager.PluginTagChanged.connect(plugin_list_changed_connection, invalidator (*this), boost::bind (&PluginSelector::tags_changed, this, _1, _2, _3), gui_context());