Entwicklungsumgebung Eclipse Theia 1.37 passt sich dynamischer an

09.05.2023 14:09 Uhr, Quelle: Heise

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