diff -r 80cd75daf80f -r 7764cbe4ddd7 QTfrontend/ui/widget/HistoryLineEdit.h
--- a/QTfrontend/ui/widget/HistoryLineEdit.h	Tue Oct 25 13:30:02 2011 +0400
+++ b/QTfrontend/ui/widget/HistoryLineEdit.h	Tue Oct 25 19:46:59 2011 +0200
@@ -32,15 +32,12 @@
 
 #include <QKeyEvent>
 
-#include <QMutex>
 
 class QLineEdit;
 
 /**
  * @brief <code>QLineEdit</code> that features a history of previous contents,
  *        re-selectable using the arrow keys.
- *
- * Note: Public methods for accessing history are <b>thread-safe</b>.
  * 
  * @author sheepluva
  * @since 0.9.17
@@ -98,8 +95,6 @@
 
     QStringList * m_history; ///< history of previous inputs
 
-    QMutex m_historyMutex; ///< make history QStringList action thread-safe
-
     /**
      * @brief Navigates content history in the desired direction.
      *
@@ -109,11 +104,6 @@
      * @param isGoingUp true: next older entry, false: next more recent entry.
      */
     void navigateHistory(bool isGoingUp);
-
-    /**
-     * @brief Appends current text to history, without Mutex.
-     */
-    void rememberCurrentTextUnsynced();
 };