[runmode addon] Fix lint issues

This commit is contained in:
Marijn Haverbeke 2020-06-18 15:13:27 +02:00
parent f87e1181c0
commit 6bb912b3e2
3 changed files with 13 additions and 11 deletions

View File

@ -1,6 +1,8 @@
import StringStream from "../../util/StringStream.js"
import * as modeMethods from "../../modes.js"
// declare global: globalThis, CodeMirror
// Create a minimal CodeMirror needed to use runMode, and assign to root.
var root = typeof globalThis !== 'undefined' ? globalThis : window
root.CodeMirror = {}
@ -14,7 +16,7 @@ CodeMirror.defineMode("null", () => ({token: stream => stream.skipToEnd()}))
CodeMirror.defineMIME("text/plain", "null")
CodeMirror.registerHelper = CodeMirror.registerGlobalHelper = Math.min
CodeMirror.splitLines = function(string) { return string.split(/\r?\n|\r/); }
CodeMirror.splitLines = function(string) { return string.split(/\r?\n|\r/) }
CodeMirror.defaults = { indentUnit: 2 }
export default CodeMirror;
export default CodeMirror

View File

@ -16,6 +16,6 @@ exports.defineMode("null", () => ({token: stream => stream.skipToEnd()}))
exports.defineMIME("text/plain", "null")
exports.registerHelper = exports.registerGlobalHelper = Math.min
exports.splitLines = function(string) { return string.split(/\r?\n|\r/); }
exports.splitLines = function(string) { return string.split(/\r?\n|\r/) }
exports.defaults = { indentUnit: 2 }