QTfrontend/ui/widget/hedgehogerWidget.cpp
changeset 13233 d23742ccf92b
parent 11868 35208f442daf
--- a/QTfrontend/ui/widget/hedgehogerWidget.cpp	Fri Mar 16 16:35:08 2018 +0100
+++ b/QTfrontend/ui/widget/hedgehogerWidget.cpp	Fri Mar 16 19:05:11 2018 +0100
@@ -63,6 +63,7 @@
 void CHedgehogerWidget::setNonInteractive()
 {
     nonInteractive=true;
+    repaint();
 }
 
 void CHedgehogerWidget::setHHNum(unsigned int num)
@@ -105,6 +106,8 @@
     }
 
     QPainter painter(this);
+    if(nonInteractive)
+        painter.setPen(QPen(QColor("#FFA0A0A0")));
     painter.setFont(QFont("MS Shell Dlg", 10, QFont::Bold));
     painter.drawText(this->width() - 12, 23, QString::number(numItems));