09.05.2023 14:09 Uhr, Quelle: Heise

Entwicklungsumgebung Eclipse Theia 1.37 passt sich dynamischer an

Das Mai-Update der IDE Theia führt dynamische Größenanpassung der Registerkarten ein und bietet eine verbesserte Suche für die Tastaturbelegungen.

Weiterlesen bei Heise