Entwicklungsumgebung Eclipse Theia 1.37 passt sich dynamischer an
by from heise online News on (#6BK77)
Das Mai-Update der IDE Theia fuhrt dynamische Groenanpassung der Registerkarten ein und bietet eine verbesserte Suche fur die Tastaturbelegungen.