From 25810916524f94a5699d4252a7be6b831e0a4d6b Mon Sep 17 00:00:00 2001 From: Sosuke Suzuki Date: Sat, 16 Dec 2017 23:17:45 +0900 Subject: [PATCH] add editorType into ConfigManager --- browser/main/lib/ConfigManager.js | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/browser/main/lib/ConfigManager.js b/browser/main/lib/ConfigManager.js index fc9b4ee9..4e04ad70 100644 --- a/browser/main/lib/ConfigManager.js +++ b/browser/main/lib/ConfigManager.js @@ -35,7 +35,8 @@ export const DEFAULT_CONFIG = { indentType: 'space', indentSize: '2', switchPreview: 'BLUR', // Available value: RIGHTCLICK, BLUR - scrollPastEnd: false + scrollPastEnd: false, + type: 'default' }, preview: { fontSize: '14',