Das war ja mal drin..... Man konnte jeden x-beliebigen Stil der
IDE überbraten. Hat aber viel kaputt gemacht. Ist deswegen wieder rausgeflogen.
Jetzt erstmal High-DPI für die
IDE selbst. Individuelle Stile *
könnten* als Abfallprodukt dann mitkommen