From c0514a66996a9965dae3c50b23d608bc2de9189a Mon Sep 17 00:00:00 2001 From: eight Date: Fri, 6 Oct 2017 15:44:43 +0800 Subject: [PATCH] Change: default linter --- edit/lint-defaults-stylelint.js | 2 +- js/prefs.js | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/edit/lint-defaults-stylelint.js b/edit/lint-defaults-stylelint.js index 0b12052c..b75bf6f4 100644 --- a/edit/lint-defaults-stylelint.js +++ b/edit/lint-defaults-stylelint.js @@ -27,7 +27,7 @@ window.linterConfig.defaults.stylelint = (defaultSeverity => ({ 'property-no-unknown': [true, defaultSeverity], 'selector-pseudo-class-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], 'unit-no-unknown': [true, defaultSeverity], diff --git a/js/prefs.js b/js/prefs.js index 9e2e1c3a..bcaef15c 100644 --- a/js/prefs.js +++ b/js/prefs.js @@ -43,7 +43,7 @@ var prefs = new function Prefs() { indent_conditional: true, }, '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.matchHighlight': 'token', // token = token/word under cursor even if nothing is selected // selection = only when something is selected