Account for old versions of Pygments

[lyx.git] / src / frontends / qt4 / PanelStack.h

diff --git a/src/frontends/qt4/PanelStack.h b/src/frontends/qt4/PanelStack.h
index fa32a54e44bbc507a8816677c564ae32b716e87b..e0d03a189f0a73296ef8c028cb5ea0adc89a3c72 100644 (file)
--- a/src/frontends/qt4/PanelStack.h
+++ b/src/frontends/qt4/PanelStack.h
@@ -9,15 +9,23 @@
  *
  * Full author contact details are available in file CREDITS.
  */
+
 #ifndef PANELSTACK_H
 #define PANELSTACK_H
 
-#include <QWidget>
+#include "FancyLineEdit.h"
+
 #include <QHash>
+#include <QWidget>
 
+class QAbstractButton;
+class QHideEvent;
+class QLineEdit;
+class QPushButton;
+class QStackedWidget;
+class QTimer;
 class QTreeWidget;
 class QTreeWidgetItem;
-class QStackedWidget;
 
 namespace lyx {
 namespace frontend {
@@ -35,17 +43,31 @@ public:
        /// add a widget panel with a given name, under the given parent
        void addPanel(QWidget * panel, QString const & name,
                QString const & parent = QString());
+       /// show or hide panel
+       void showPanel(QString const & name, bool show);
        /// set current panel by logical name
        void setCurrentPanel(QString const &);
        ///
+       bool isCurrentPanel(QString const & name) const;
+       ///
        QSize sizeHint() const;
 
 public Q_SLOTS:
+       /// the option filter changed
+       void filterChanged(QString const & search);
+       /// perform the search
+       void search();
+       /// reset the search box
+       void resetSearch();
        /// set current panel from an item
        void switchPanel(QTreeWidgetItem * it, QTreeWidgetItem * previous = 0);
        /// click on the tree
        void itemSelected(QTreeWidgetItem *, int);
 
+protected:
+       /// widget hidden
+       void hideEvent(QHideEvent * event);
+
 private:
        ///
        typedef QHash<QString, QTreeWidgetItem *> PanelMap;
@@ -56,11 +78,18 @@ private:
 
        WidgetMap widget_map_;
 
+       /// contains the search box
+       FancyLineEdit * search_;
+
        /// contains the items
        QTreeWidget * list_;
 
        /// contains the panes
        QStackedWidget * stack_;
+
+       // timer to delay the search between options
+       QTimer * delay_search_;
+
 };
 
 } // namespace frontend