diff options
| author | DecorativeFamily <185765765+decorativefamily@users.noreply.github.com> | 2024-11-12 00:58:00 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-11-12 00:58:00 +0300 |
| commit | 35df2a05052560cc3be9874b1431f4976a463027 (patch) | |
| tree | 394122ea67674ee870849a13c46ec8a07eec065f /web/assets/codemirror | |
| parent | 9f445686a4586822f6de35b460cdcd4de7ff7abd (diff) | |
[CodeFactor] Apply fixes (#2595)
Co-authored-by: codefactor-io <support@codefactor.io>
Diffstat (limited to 'web/assets/codemirror')
| -rw-r--r-- | web/assets/codemirror/hint/javascript-hint.js | 2 | ||||
| -rw-r--r-- | web/assets/codemirror/javascript.js | 2 | ||||
| -rw-r--r-- | web/assets/codemirror/lint/lint.css | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/web/assets/codemirror/hint/javascript-hint.js b/web/assets/codemirror/hint/javascript-hint.js index 95639798..f4396a79 100644 --- a/web/assets/codemirror/hint/javascript-hint.js +++ b/web/assets/codemirror/hint/javascript-hint.js @@ -63,7 +63,7 @@ return scriptHint(editor, javascriptKeywords, function (e, cur) {return e.getTokenAt(cur);}, options); - }; + } CodeMirror.registerHelper("hint", "javascript", javascriptHint); function getCoffeeScriptToken(editor, cur) { diff --git a/web/assets/codemirror/javascript.js b/web/assets/codemirror/javascript.js index bb735ebc..3f65a26b 100644 --- a/web/assets/codemirror/javascript.js +++ b/web/assets/codemirror/javascript.js @@ -362,7 +362,7 @@ CodeMirror.defineMode("javascript", function(config, parserConfig) { if (type == wanted) return cont(); else if (wanted == ";" || type == "}" || type == ")" || type == "]") return pass(); else return cont(exp); - }; + } return exp; } diff --git a/web/assets/codemirror/lint/lint.css b/web/assets/codemirror/lint/lint.css index e1560db9..8bb5804b 100644 --- a/web/assets/codemirror/lint/lint.css +++ b/web/assets/codemirror/lint/lint.css @@ -6,7 +6,7 @@ .CodeMirror-lint-tooltip { background-color: #ffd; border: 1px solid black; - border-radius: 4px 4px 4px 4px; + border-radius: 4px; color: black; font-family: monospace; font-size: 10pt; |
