diff gui/src/HistoryDockWidget.h @ 13545:ffc2e1d1ad5f

History can be filtered with an input search box while typing.
author Jacob Dawid <jacob.dawid@googlemail.com>
date Tue, 26 Jul 2011 23:56:03 +0200
parents 869c62c15e95
children 5ef33f99a078
line wrap: on
line diff
--- a/gui/src/HistoryDockWidget.h	Tue Jul 26 23:20:05 2011 +0200
+++ b/gui/src/HistoryDockWidget.h	Tue Jul 26 23:56:03 2011 +0200
@@ -20,8 +20,11 @@
 #define HISTORYDOCKWIDGET_H
 
 #include <QDockWidget>
+#include <QLineEdit>
 #include <QListView>
+#include <QSortFilterProxyModel>
 #include "OctaveLink.h"
+#include <QThread>
 
 class HistoryDockWidget:public QDockWidget
 {
@@ -33,13 +36,15 @@
 public slots:
   /** Tells the widget to notice settings that are probably new. */
   void noticeSettings ();
-
+  void setFilter (QString filter);
 signals:
   void information (QString message);
 
 private:
   void construct ();
   QListView *m_historyListView;
+  QLineEdit *m_filterLineEdit;
+  QSortFilterProxyModel m_sortFilterProxyModel;
 };
 
 #endif // HISTORYDOCKWIDGET_H