# HG changeset patch
# User Torsten Lilge <ttl-octave@mailbox.org>
# Date 1644065642 -3600
# Node ID 23093b480b1a3845bbd2095311aa4ddf39007755
# Parent  17a558588b8f784f41ce7c95bbfab997142b6af6
change led color for profiler in GUI

* led-indicator.cc (set_state): use dark gray and red for inactive and
  active led resp.

diff -r 17a558588b8f -r 23093b480b1a libgui/src/led-indicator.cc
--- a/libgui/src/led-indicator.cc	Thu Feb 03 17:45:53 2022 -0800
+++ b/libgui/src/led-indicator.cc	Sat Feb 05 13:54:02 2022 +0100
@@ -52,11 +52,12 @@
         break;
 
       case LED_STATE_INACTIVE:
-        col = QColor (Qt::darkRed);
+        col = QColor (Qt::darkGray);
+        col.setRedF (col.redF () * 1.25);
         break;
 
       case LED_STATE_ACTIVE:
-        col = QColor (Qt::darkGreen);
+        col = QColor (Qt::red);
         break;
       }