diff options
| -rw-r--r-- | gtk2_ardour/mixer_ui.cc | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/gtk2_ardour/mixer_ui.cc b/gtk2_ardour/mixer_ui.cc index 97b43bb398..a848ede49e 100644 --- a/gtk2_ardour/mixer_ui.cc +++ b/gtk2_ardour/mixer_ui.cc @@ -1744,7 +1744,6 @@ Mixer_UI::get_state () p->add_property ("expanded", favorite_ui_state[(*i)->unique_id]); } plugin_order->add_child_nocopy (*p); - ; } node->add_child_nocopy (*plugin_order); |