smokephil/ardour
1
0
Fork 0
mirror of https://github.com/Ardour/ardour.git synced 2025-12-06 14:54:56 +01:00
Code Issues Projects Releases Wiki Activity

Rename pluginlist button color

Browse source 
There was no "pluginlist radio button" button but there
now is a radio button.
This commit is contained in:
Robin Gareus 2021-07-16 18:46:51 +02:00
parent 39a43f2042
commit c3978cefb1
No known key found for this signature in database
GPG key ID: A090BCE02CF57F04
8 changed files with 12 additions and 12 deletions
Download patch file Download diff file Expand all files Collapse all files

4
gtk2_ardour/plugin_manager_ui.cc
View file

@ -211,8 +211,8 @@ PluginManagerUI::PluginManagerUI ()
_cb_search_type.set_name ("pluginlist filter button");
_cb_search_tags.set_name ("pluginlist filter button");
_cb_search_creator.set_name ("pluginlist filter button");
_cb_search_base_name.set_name ("pluginlist hide button");
_cb_search_full_path.set_name ("pluginlist hide button");
_cb_search_base_name.set_name ("pluginlist radio button");
_cb_search_full_path.set_name ("pluginlist radio button");
Widget* w = manage (new Image (Stock::CLEAR, ICON_SIZE_MENU));
w->show ();