Change: default linter

This commit is contained in:
eight 2017-10-06 15:44:43 +08:00
parent b866688a87
commit c0514a6699
2 changed files with 2 additions and 2 deletions

View File

@ -27,7 +27,7 @@ window.linterConfig.defaults.stylelint = (defaultSeverity => ({
'property-no-unknown': [true, defaultSeverity], 'property-no-unknown': [true, defaultSeverity],
'selector-pseudo-class-no-unknown': [true, defaultSeverity], 'selector-pseudo-class-no-unknown': [true, defaultSeverity],
'selector-pseudo-element-no-unknown': [true, defaultSeverity], 'selector-pseudo-element-no-unknown': [true, defaultSeverity],
'selector-type-no-unknown': [true, defaultSeverity], 'selector-type-no-unknown': false, // for scss/less/stylus-lang
'string-no-newline': [true, defaultSeverity], 'string-no-newline': [true, defaultSeverity],
'unit-no-unknown': [true, defaultSeverity], 'unit-no-unknown': [true, defaultSeverity],

View File

@ -43,7 +43,7 @@ var prefs = new function Prefs() {
indent_conditional: true, indent_conditional: true,
}, },
'editor.lintDelay': 500, // lint gutter marker update delay, ms 'editor.lintDelay': 500, // lint gutter marker update delay, ms
'editor.linter': 'csslint', // 'csslint' or 'stylelint' or '' 'editor.linter': 'stylelint', // 'csslint' or 'stylelint' or ''
'editor.lintReportDelay': 4500, // lint report update delay, ms 'editor.lintReportDelay': 4500, // lint report update delay, ms
'editor.matchHighlight': 'token', // token = token/word under cursor even if nothing is selected 'editor.matchHighlight': 'token', // token = token/word under cursor even if nothing is selected
// selection = only when something is selected // selection = only when something is selected