changing forgotten places were add codemirror 3.13