diff options
| author | Robin Gareus <robin@gareus.org> | 2018-01-31 14:02:44 +0100 |
|---|---|---|
| committer | Robin Gareus <robin@gareus.org> | 2018-01-31 14:02:44 +0100 |
| commit | 09ca375e157aef1b81997fe8b80fb9828bfd6351 (patch) | |
| tree | 41656c1bf93bfd7ae4e7c1a27e8f664bfbb2a901 /gtk2_ardour/plugin_selector.cc | |
| parent | 17cdc8114c0efa568f4a2f6f5eefb43c747f3b0c (diff) | |
Allow to filter tags by hidden + favorite
This in preparation to not populate context-menus with unused tags.
Diffstat (limited to 'gtk2_ardour/plugin_selector.cc')
0 files changed, 0 insertions, 0 deletions