Clean up selection history in Editor destructor.

2015-11-03 05:25:15 +11:00
parent 3b0f068fe9
commit aa097c9e9f
1 changed files with 4 additions and 0 deletions
--- 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*