diff options
author | nick_m <mainsbridge@gmail.com> | 2016-06-20 02:41:52 +1000 |
---|---|---|
committer | nick_m <mainsbridge@gmail.com> | 2016-07-10 02:18:36 +1000 |
commit | 9f61f8a5b0b6c6666f8177980edee725bd00aca0 (patch) | |
tree | e5ac1f72125d4cb20d64a08a2392b8382bd1db35 | |
parent | 550f2925cc3b142c68978bbac709dd0f834fc997 (diff) |
Complete the task of Playlist::flush_notifications ()
-rw-r--r-- | libs/ardour/playlist.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/libs/ardour/playlist.cc b/libs/ardour/playlist.cc index 924c3b6141..b5b32a10d4 100644 --- a/libs/ardour/playlist.cc +++ b/libs/ardour/playlist.cc @@ -657,6 +657,7 @@ Playlist::flush_notifications (bool from_undo) pending_range_moves.clear (); pending_region_extensions.clear (); pending_contents_change = false; + pending_layering = false; } /************************************************************* |