r/p5.js-web-editor
1
0
Fork 0
Code Issues 1 Pull requests Releases 1 Wiki Activity

add missing linting markers

Browse source
This commit is contained in:
Cassie Tarakajian 2017-10-12 16:19:18 -04:00
parent f0970031f9
commit 1363a7a0c3
2 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
client/modules/IDE/components/Editor.jsx
View file

@ -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) {

1
client/styles/components/_editor.scss
View file

@ -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 {