--- 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));