codeEditor.run=Ausführen
codeEditor.expandTooltip=Editor ausklappen
codeEditor.save=Speichern
codeEditor.savedSuccessfully=Widget erfolgreich gespeichert
codeEditor.saveError=Fehler beim Speichern des Widgets
codeEditor.switchDisplayMode=Anzeigemodus wechseln
codeEditor.jsExecutionError=Beim Ausführen des JS-Codes ist ein Fehler aufgetreten
