2 posts were merged into an existing topic: [Consolidation] redefining shortcuts handled by Codemirror