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.