fixes for issue #11243 and remove codemirror