Update "By Tags" menu when Plugin-tags change -- #7800
authorRobin Gareus <robin@gareus.org>
Tue, 27 Aug 2019 10:17:46 +0000 (12:17 +0200)
committerRobin Gareus <robin@gareus.org>
Tue, 27 Aug 2019 10:18:44 +0000 (12:18 +0200)
commit79b23a893d8dac962c7d3f1aa8943b73303420e6
tree65fa11bfb6a23642614874c255af30f4c69ddd38
parent191dea02482cae636a5cf029ccc981e0685a23fa
Update "By Tags" menu when Plugin-tags change -- #7800
gtk2_ardour/plugin_selector.cc