sourceEditing: Verbesserungen bei Quelltext-Bearbeitungen unterschiedlicher Art