diff -r 6e8b807bda4b -r ba39a1d396c0 QTfrontend/ui/widget/togglebutton.h
--- a/QTfrontend/ui/widget/togglebutton.h	Sun Jun 10 18:56:51 2018 +0200
+++ b/QTfrontend/ui/widget/togglebutton.h	Sun Jun 10 19:12:26 2018 +0200
@@ -25,6 +25,7 @@
 #include <QPushButton>
 #include <QVBoxLayout>
 #include <QLabel>
+#include <QIcon>
 
 class ToggleButtonWidget : public QPushButton
 {
@@ -33,8 +34,8 @@
         ToggleButtonWidget(QWidget * parent, QString img);
         ~ToggleButtonWidget();
     private:
-        QPixmap pmChecked;
-        QPixmap pmDisabled;
+        QIcon icoUnchecked;
+        QIcon icoChecked;
     private slots:
         void eventToggled(bool checked);
 };