diff options
author | Robin Gareus <robin@gareus.org> | 2019-10-24 19:46:59 +0200 |
---|---|---|
committer | Robin Gareus <robin@gareus.org> | 2019-10-24 19:47:32 +0200 |
commit | 7664f8fd29793be09899cd1c94695a2a3880215f (patch) | |
tree | dbe2bbeec7159091abf771d910df61838cebb264 /gtk2_ardour/plugin_selector.h | |
parent | aaae93cae3a3587a4f2f05ee28e00d4e16989a3f (diff) |
Require all terms of space-separated plugin search filter string
Diffstat (limited to 'gtk2_ardour/plugin_selector.h')
-rw-r--r-- | gtk2_ardour/plugin_selector.h | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/gtk2_ardour/plugin_selector.h b/gtk2_ardour/plugin_selector.h index 4015344882..4deda02aba 100644 --- a/gtk2_ardour/plugin_selector.h +++ b/gtk2_ardour/plugin_selector.h @@ -173,8 +173,6 @@ private: ARDOUR::PluginPtr load_plugin (ARDOUR::PluginInfoPtr); bool show_this_plugin (const ARDOUR::PluginInfoPtr&, const std::string&); - void setup_search_string (std::string&); - void favorite_changed (const std::string& path); void hidden_changed (const std::string& path); bool in_row_change; |