Moin,
ich habe mich damit nicht so auseinander gesetzt, aber ich selber habe gedacht am besten wäre es, wenn es einen Ordner gibt, in den alle Themes gespeichert sind. Jetzt braucht man nur noch eine Theme-Datei da einfügen und kann selber in den Einstellungen das Theme ändern, ohne das das "Dunkle Editor-Theme" überschrieben wird. Das wäre halt die Ideallösung aber ich fürchte das dies die
IDE nicht unterstützt/nutzt.
MfG
Fabian