diff options
author | Robin Gareus <robin@gareus.org> | 2019-03-31 22:25:29 +0200 |
---|---|---|
committer | Robin Gareus <robin@gareus.org> | 2019-03-31 22:25:29 +0200 |
commit | da15b599de110fa43b97b92bbb772410f4462f0f (patch) | |
tree | 62c262bacb1f94c417d8de4f5264b7accaae91c9 /gtk2_ardour/plugin_selector.h | |
parent | 827b4ef8a1e74607a787b90e5e46f36e507f59b3 (diff) |
Remove a hack of using flags to emit a signal-change from the GUI
The GUI should not be calling `manager.PluginListChanged();`
It's up to the plugin-manager to emit relevant signals.
This fixes an issue when adding/removing plugin-favorites using the
mixer's sidebar or via remote-control/surfaces or script.
Diffstat (limited to 'gtk2_ardour/plugin_selector.h')
-rw-r--r-- | gtk2_ardour/plugin_selector.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/gtk2_ardour/plugin_selector.h b/gtk2_ardour/plugin_selector.h index fda03c10f3..ba09b08f7f 100644 --- a/gtk2_ardour/plugin_selector.h +++ b/gtk2_ardour/plugin_selector.h @@ -186,7 +186,6 @@ private: bool _need_tag_save; bool _need_status_save; - bool _need_menu_rebuild; bool _inhibit_refill; }; |