diff options
author | nick_m <mainsbridge@gmail.com> | 2015-11-03 05:25:15 +1100 |
---|---|---|
committer | nick_m <mainsbridge@gmail.com> | 2015-11-03 05:25:15 +1100 |
commit | aa097c9e9feac1f12ba93c0f5fb893e02fb57d89 (patch) | |
tree | 68b547bb9a43794c86398dbe0bbc29bd2c940ab1 /gtk2_ardour/editor.cc | |
parent | 3b0f068fe900a1ca2a7072869aee6fff117345bc (diff) |
Clean up selection history in Editor destructor.
Diffstat (limited to 'gtk2_ardour/editor.cc')
-rw-r--r-- | gtk2_ardour/editor.cc | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gtk2_ardour/editor.cc b/gtk2_ardour/editor.cc index 3a19e0da68..50745e475d 100644 --- a/gtk2_ardour/editor.cc +++ b/gtk2_ardour/editor.cc @@ -822,6 +822,10 @@ Editor::~Editor() delete _snapshots; delete _locations; delete _playlist_selector; + + for (list<XMLNode *>::iterator i = selection_op_history.begin(); i != selection_op_history.end(); ++i) { + delete *i; + } } XMLNode* |