diff -r 255aff92216d -r 59ff93c0ae2d QTfrontend/ui/widget/HistoryLineEdit.cpp
--- a/QTfrontend/ui/widget/HistoryLineEdit.cpp	Sat Oct 22 19:37:39 2011 +0200
+++ b/QTfrontend/ui/widget/HistoryLineEdit.cpp	Sat Oct 22 20:41:23 2011 +0200
@@ -35,6 +35,12 @@
 }
 
 
+HistoryLineEdit::~HistoryLineEdit()
+{
+    delete m_history;
+}
+
+
 void HistoryLineEdit::rememberCurrentText()
 {
     m_historyMutex.lock();