reproduce in stock codemirror