Add plugin-prefs and paths to plugin-manager-ui

This commit is contained in:
Robin Gareus 2021-07-07 02:11:06 +02:00
parent e4bdb99f60
commit ab86884ca4
No known key found for this signature in database
GPG key ID: A090BCE02CF57F04
5 changed files with 91 additions and 2 deletions

View file

@ -909,6 +909,7 @@ ARDOUR_UI::show_ui_prefs ()
rc_option_editor->set_current_page (_("Appearance"));
}
}
void
ARDOUR_UI::show_mixer_prefs ()
{
@ -918,6 +919,15 @@ ARDOUR_UI::show_mixer_prefs ()
}
}
void
ARDOUR_UI::show_plugin_prefs ()
{
if (rc_option_editor) {
show_tabbable (rc_option_editor);
rc_option_editor->set_current_page (_("Plugins"));
}
}
bool
ARDOUR_UI::click_button_clicked (GdkEventButton* ev)
{