From 1363a7a0c3bef885d868ceadd68a6ebd4c87d210 Mon Sep 17 00:00:00 2001 From: Cassie Tarakajian Date: Thu, 12 Oct 2017 16:19:18 -0400 Subject: [PATCH] add missing linting markers --- client/modules/IDE/components/Editor.jsx | 3 ++- client/styles/components/_editor.scss | 1 + 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/client/modules/IDE/components/Editor.jsx b/client/modules/IDE/components/Editor.jsx index 00344e98..782da66f 100644 --- a/client/modules/IDE/components/Editor.jsx +++ b/client/modules/IDE/components/Editor.jsx @@ -69,11 +69,12 @@ class Editor extends React.Component { fixedGutter: false, foldGutter: true, foldOptions: { widget: '\u2026' }, - gutters: ['CodeMirror-foldgutter'], + gutters: ['CodeMirror-foldgutter', 'CodeMirror-lint-markers'], keyMap: 'sublime', highlightSelectionMatches: true, // highlight current search match lint: { onUpdateLinting: debounce((annotations) => { + console.log(annotations); this.props.clearLintMessage(); annotations.forEach((x) => { if (x.from.line > -1) { diff --git a/client/styles/components/_editor.scss b/client/styles/components/_editor.scss index bf317fb0..e3678ecc 100644 --- a/client/styles/components/_editor.scss +++ b/client/styles/components/_editor.scss @@ -38,6 +38,7 @@ pre.CodeMirror-line { width: #{48 / $base-font-size}rem; position: absolute; height: 100%; + right: 100%; } .CodeMirror-lint-message-error, .CodeMirror-lint-message-warning {