Amend 4cd568d31266

[lyx.git] / src / frontends / qt / PanelStack.cpp

diff --git a/src/frontends/qt/PanelStack.cpp b/src/frontends/qt/PanelStack.cpp
index 22eab2a6cecc3b60bc4b89bbfdf5c0a929eedfb9..9b6cb639c8678db63a6993288c1389189f56707e 100644 (file)
--- a/src/frontends/qt/PanelStack.cpp
+++ b/src/frontends/qt/PanelStack.cpp
@@ -61,7 +61,7 @@ PanelStack::PanelStack(QWidget * parent)
        list_->setRootIsDecorated(false);
        list_->setColumnCount(1);
        list_->header()->hide();
-       setSectionResizeMode(list_->header(), QHeaderView::ResizeToContents);
+       list_->header()->setSectionResizeMode(QHeaderView::ResizeToContents);
        list_->header()->setStretchLastSection(false);
        list_->setMinimumSize(list_->viewport()->size());
 
@@ -73,11 +73,7 @@ PanelStack::PanelStack(QWidget * parent)
 
        // Configure the search box
        search_->setPlaceholderText(qt_("Search"));
-       search_->setButtonPixmap(FancyLineEdit::Right,
-                                getPixmap("images/", "editclear", "svgz,png"));
-       search_->setButtonVisible(FancyLineEdit::Right, true);
-       search_->setButtonToolTip(FancyLineEdit::Right, qt_("Clear text"));
-       search_->setAutoHideButton(FancyLineEdit::Right, true);
+       search_->setClearButton(true);
        connect(search_, SIGNAL(rightButtonClicked()),
                this, SLOT(resetSearch()));
        connect(search_, SIGNAL(textEdited(QString)),
@@ -150,6 +146,22 @@ void PanelStack::showPanel(QString const & name, bool show)
 }
 
 
+void PanelStack::markPanelValid(QString const & name, bool valid)
+{
+       QTreeWidgetItem * item = panel_map_.value(name, 0);
+       LASSERT(item, return);
+
+       if (valid) {
+               item->setIcon(0, QIcon());
+               item->setToolTip(0, QString());
+       } else {
+               QIcon warn(getPixmap("images/", "emblem-shellescape", "svgz,png"));
+               item->setIcon(0, warn);
+               item->setToolTip(0, qt_("This section contains invalid input. Please fix!"));
+       }
+}
+
+
 void PanelStack::setCurrentPanel(QString const & name)
 {
        QTreeWidgetItem * item = panel_map_.value(name, 0);