#374 Fixed missing CodeMirror tern option.