la couleur a ete choisi dans la config avalaunch
ce dash te permet de choisir entre rouge,vert,orange ou off
regarde dans le fichier xml de avalaunch tu trouveras ca
Specify the preferred color of your led when idle and busy.
LED color can be one of the following
off
red
green
orange
If omitted the color will default to green when idle and red when busy
-->
<led idle="green" busy="red"/>
voila si ca te gene tu n'as plus qu'a changer a cette endroit