From aa097c9e9feac1f12ba93c0f5fb893e02fb57d89 Mon Sep 17 00:00:00 2001
From: nick_m <mainsbridge@gmail.com>
Date: Tue, 3 Nov 2015 05:25:15 +1100
Subject: [PATCH] Clean up selection history in Editor destructor.

---
 gtk2_ardour/editor.cc | 4 ++++
 1 file changed, 4 insertions(+)

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*