Korrektur von [3.4] Codemirror 4.4. Fix #46