diff -r 98486efeb0b7 -r 437116977d43 QTfrontend/ui/widget/HistoryLineEdit.h
--- a/QTfrontend/ui/widget/HistoryLineEdit.h	Fri Oct 21 00:02:11 2011 +0200
+++ b/QTfrontend/ui/widget/HistoryLineEdit.h	Fri Oct 21 01:36:13 2011 +0200
@@ -81,12 +81,12 @@
 
 
 private:
-    int m_maxHistorySize; /// the maximum allowed size for the history
-    int m_curHistEntryIdx; /// the index of the displayed used entry
+    int m_maxHistorySize; ///< the maximum allowed size for the history
+    int m_curHistEntryIdx; ///< the index of the displayed used entry
 
-    QStringList * m_history; /// history of previous inputs
+    QStringList * m_history; ///< history of previous inputs
 
-    QMutex m_historyMutex; /// make history QStringList action thread-safe
+    QMutex m_historyMutex; ///< make history QStringList action thread-safe
 
     /**
      * @brief Navigates content history in the desired direction.