danke für die freundlichen hinweise, Markus. wichtige Anpassungen zu codemirror