add variant of Rect::expand() that allows different amounts in each direction

[ardour.git] / gtk2_ardour / midi_time_axis.cc

diff --git a/gtk2_ardour/midi_time_axis.cc b/gtk2_ardour/midi_time_axis.cc
index 50586580631e47136504a9270b1798113def92e9..c65b23428de3345d3a86b13275d5d5da509f6643 100644 (file)
--- a/gtk2_ardour/midi_time_axis.cc
+++ b/gtk2_ardour/midi_time_axis.cc
@@ -1613,6 +1613,10 @@ MidiTimeAxisView::contents_height_changed ()
 void
 MidiTimeAxisView::playback_channel_mode_changed ()
 {
+       /* Invalidate the controller automation menu */
+       delete controller_menu;
+       controller_menu = 0;
+       /* Update the button text */
        switch (midi_track()->get_playback_channel_mode()) {
        case AllChannels:
                _playback_channel_status.set_markup (string_compose ("<b>%1</b>: <i>%2</i>", _("Play"), _("all")));