--- a/QTfrontend/ui/widget/hedgehogerWidget.cpp Sun Jun 10 18:56:51 2018 +0200
+++ b/QTfrontend/ui/widget/hedgehogerWidget.cpp Sun Jun 10 19:12:26 2018 +0200
@@ -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));