From 2852be09809f0965c31be8dfe24d522862f57e4f Mon Sep 17 00:00:00 2001 From: Yukai Huang Date: Fri, 16 Aug 2019 10:30:34 +0800 Subject: [PATCH] Tweak gutter styles Signed-off-by: Yukai Huang --- public/js/lib/editor/index.js | 4 ++-- public/js/lib/editor/markdown-lint/lint.css | 1 + 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/public/js/lib/editor/index.js b/public/js/lib/editor/index.js index 37257871..6f7cb2be 100644 --- a/public/js/lib/editor/index.js +++ b/public/js/lib/editor/index.js @@ -573,10 +573,10 @@ export default class Editor { autoCloseTags: true, foldGutter: true, gutters: [ + 'CodeMirror-lint-markers', 'CodeMirror-linenumbers', 'authorship-gutters', - 'CodeMirror-foldgutter', - 'CodeMirror-lint-markers' + 'CodeMirror-foldgutter' ], extraKeys: this.defaultExtraKeys, flattenSpans: true, diff --git a/public/js/lib/editor/markdown-lint/lint.css b/public/js/lib/editor/markdown-lint/lint.css index d474419a..a8707173 100644 --- a/public/js/lib/editor/markdown-lint/lint.css +++ b/public/js/lib/editor/markdown-lint/lint.css @@ -48,6 +48,7 @@ width: 16px; vertical-align: middle; position: relative; + margin-left: 5px; } .CodeMirror-lint-message-error, .CodeMirror-lint-message-warning {