rename nimrod to nim (#997)

main
Michael Fix 5 years ago committed by GitHub
parent 4790b937e9
commit 9d9280d0ee
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -851,7 +851,7 @@ export const LANGUAGES = [
},
{
name: 'Nim',
mode: 'nimrod',
mode: 'nim',
custom: true,
highlight: true,
},

@ -1,6 +1,6 @@
const CodeMirror = require('codemirror')
CodeMirror.defineMode('nimrod', function (conf, parserConf) {
CodeMirror.defineMode('nim', function (conf, parserConf) {
var ERRORCLASS = 'error'
function wordRegexp(words) {
@ -180,10 +180,6 @@ CodeMirror.defineMode('nimrod', function (conf, parserConf) {
'isMainModule',
'CompileDate',
'CompileTime',
'NimrodVersion',
'NimrodMajor',
'NimrodMinor',
'NimrodPatch',
'cpuEndian',
'hostOS',
'hostCPU',
@ -633,4 +629,4 @@ CodeMirror.defineMode('nimrod', function (conf, parserConf) {
return external
})
CodeMirror.defineMIME('text/x-nimrod', 'nimrod')
CodeMirror.defineMIME('text/x-nim', 'nim')
Loading…
Cancel
Save