Tach auch ...
@steph-7: Aha ... jetzt verstehe ich was Du mir zu
erklären versuchst ... Du hast natürlich vollkommen
Recht ! Die IconList.txt war eigentlich nie dafür
ausgelegt von Hand editiert zu werden. Klar, mach ich
auch ab und an, aber über manche Dinge, die man schon
seit Jahren macht, denkt man gar nicht mehr nach ...
Für mich war absolut klar, das der Launcher dannach
neu gestartet werden muss, weil er Änderungen an dieser
Datei (noch) nicht bemerkt ! Sorry ... das war allein
mein Fehler.
Selbstredend, das diese Funktionalität zügig nachgereicht
wird. Danke an der Stelle für den Hinweis.
Die Eselskappe aufziehend, grüßt ...