QTfrontend/ui/widget/HistoryLineEdit.h
changeset 6162 437116977d43
parent 6161 98486efeb0b7
child 6168 6f301dac12ff
equal deleted inserted replaced
6161:98486efeb0b7 6162:437116977d43
    79      */
    79      */
    80     virtual void keyPressEvent(QKeyEvent * event);
    80     virtual void keyPressEvent(QKeyEvent * event);
    81 
    81 
    82 
    82 
    83 private:
    83 private:
    84     int m_maxHistorySize; /// the maximum allowed size for the history
    84     int m_maxHistorySize; ///< the maximum allowed size for the history
    85     int m_curHistEntryIdx; /// the index of the displayed used entry
    85     int m_curHistEntryIdx; ///< the index of the displayed used entry
    86 
    86 
    87     QStringList * m_history; /// history of previous inputs
    87     QStringList * m_history; ///< history of previous inputs
    88 
    88 
    89     QMutex m_historyMutex; /// make history QStringList action thread-safe
    89     QMutex m_historyMutex; ///< make history QStringList action thread-safe
    90 
    90 
    91     /**
    91     /**
    92      * @brief Navigates content history in the desired direction.
    92      * @brief Navigates content history in the desired direction.
    93      *
    93      *
    94      * Note: no wrap-around on purpose (so that holding down/up will get the
    94      * Note: no wrap-around on purpose (so that holding down/up will get the