remove “Refresh” button in Plugin manager
authorRobin Gareus <robin@gareus.org>
Thu, 16 Jul 2015 18:01:44 +0000 (20:01 +0200)
committerRobin Gareus <robin@gareus.org>
Thu, 16 Jul 2015 18:01:44 +0000 (20:01 +0200)
commit762ed5cd18006a8e41d78cdc8442bf8918e9f869
tree68bc2782ccd9989ae3e4fcf7ac0ce32a3809bb05
parent1ed63c52472a0f32406b009a04c8db2dc59f76d2
remove “Refresh” button in Plugin manager

use Preferences > Plugins
gtk2_ardour/plugin_selector.cc
gtk2_ardour/plugin_selector.h