[fixed] default value for codemirror option