Further tweaks to Plugin-Selector:
authorRobin Gareus <robin@gareus.org>
Tue, 30 Jan 2018 11:40:06 +0000 (12:40 +0100)
committerRobin Gareus <robin@gareus.org>
Tue, 30 Jan 2018 11:40:06 +0000 (12:40 +0100)
commit6aa34c1b3a7db03e06846b0d5795e864d26a5dd4
tree7b6b15c5e24f2e2dce55ed7ae3152fcb47e73c58
parent19f62d331c04711536c283f21e96b7ff20d0257f
Further tweaks to Plugin-Selector:

* update current search when toggling search_ignore_checkbox
* take filter-view into account when changing plugin-status,
  immediately hide hidden or un-favorerd plugins from view.
* default to "effects only"
gtk2_ardour/plugin_selector.cc