Translated codemirror.ini