Entwicklungsumgebung Eclipse Theia 1.35 verhindert Editor-Duplikate

Im Marz-Update lasst sich auf Wunsch das doppelte Offnen eines Editors verhindern. Neuerungen gibt es auch fur die Visual Studio Code Extension API.