From 0a5c4c092a2bf769f814b2b22d8be55914043bbf Mon Sep 17 00:00:00 2001
From: roottool <smart.dog.lilienthal@gmail.com>
Date: Tue, 7 May 2019 04:22:03 +0900
Subject: [PATCH] Fix: Improved for the app not to need to reload

---
 browser/components/CodeEditor.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/browser/components/CodeEditor.js b/browser/components/CodeEditor.js
index d5f9164f..c8789a53 100644
--- a/browser/components/CodeEditor.js
+++ b/browser/components/CodeEditor.js
@@ -533,8 +533,8 @@ export default class CodeEditor extends React.Component {
     if (prevProps.keyMap !== this.props.keyMap) {
       needRefresh = true
     }
-    if (!needRefresh && prevProps.customMarkdownLintConfig !== customMarkdownLintConfig) {
-      this.setCodeEditorLintConfig()
+    if (prevProps.customMarkdownLintConfig !== customMarkdownLintConfig) {
+      this.editor.setOption('lint', this.setCodeEditorLintConfig())
 
       needRefresh = true
     }