(doc: CodeMirror.Doc)
| 79 | |
| 80 | // Note that this cannot be mapped directly into the Language enum. |
| 81 | export function editorLanguage(doc: CodeMirror.Doc): string { |
| 82 | return getMode(doc).name; |
| 83 | } |
| 84 | |
| 85 | export function language(doc: CodeMirror.Doc, path: string | undefined): Language { |
| 86 | if (path !== undefined) { |
no test coverage detected