So, nun weis ich endlich wie man die Farbe der nicht verfügbaren Sender in der ChannelSelection im Skin definieren kann.
("Wir" waren ja der Annahme, dies sei hardcodet)
Mit:[php]foregroundColorServiceNotAvail="#5A5A5A"[/php] wird die Farbe der nicht verfügbaren Sender in der ChannelSelection definiert
Das sieht dann z.b. so aus:
[php]<widget name="list" position="75,242" size="572,252" zPosition="1" transparent="1" scrollbarMode="showOnDemand" foregroundColorServiceNotAvail="#5A5A5A" />
[/php]Somit kann man nun nicht nur das grau endlich dunkler stellen, sondern jede x-beliebige Farbe dafür definieren.
(Im Code zu finden ist das in der "ServiceList.py" ab Zeile 61.)