From 9dddbbba9f95b7d5675c9552c50f92e557c5b0fe Mon Sep 17 00:00:00 2001
From: eight <eight04@gmail.com>
Date: Wed, 1 Nov 2017 08:44:37 +0800
Subject: [PATCH] Fix: unused getName

---
 edit/lint.js | 12 ------------
 1 file changed, 12 deletions(-)

diff --git a/edit/lint.js b/edit/lint.js
index be75d231..8c9622f2 100644
--- a/edit/lint.js
+++ b/edit/lint.js
@@ -41,18 +41,6 @@ var linterConfig = {
     } : false;
   },
 
-  getName(cmLintOption) {
-    if (!cmLintOption) {
-      return null;
-    }
-    for (const linter of ['csslint', 'stylelint']) {
-      if (cmLintOption.getAnnotations === CodeMirror.lint[linter]) {
-        return linter;
-      }
-    }
-    return null;
-  },
-
   fallbackToDefaults(config, linter = linterConfig.getDefault()) {
     if (config && Object.keys(config).length) {
       if (linter === 'stylelint') {