From 6d5c00dc5d019cda5d492ecdfbddc43c75b386e7 Mon Sep 17 00:00:00 2001 From: wfnuser Date: Mon, 12 Nov 2018 14:05:57 +0800 Subject: [PATCH] remove padding of editor by disable folding feature --- .../ConfigurationManagement/ConfigEditor/ConfigEditor.js | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/console/src/main/resources/static/src/pages/ConfigurationManagement/ConfigEditor/ConfigEditor.js b/console/src/main/resources/static/src/pages/ConfigurationManagement/ConfigEditor/ConfigEditor.js index a03fdaf08..2eee9d699 100644 --- a/console/src/main/resources/static/src/pages/ConfigurationManagement/ConfigEditor/ConfigEditor.js +++ b/console/src/main/resources/static/src/pages/ConfigurationManagement/ConfigEditor/ConfigEditor.js @@ -83,7 +83,7 @@ class ConfigEditor extends React.Component { lineNumbersMinChars: true, theme: 'vs-dark', wordWrapColumn: 120, - folding: true, + folding: false, showFoldingControls: 'always', wordWrap: 'wordWrapColumn', cursorStyle: 'line', @@ -101,7 +101,7 @@ class ConfigEditor extends React.Component { lineNumbersMinChars: true, theme: 'vs-dark', wordWrapColumn: 120, - folding: true, + folding: false, showFoldingControls: 'always', wordWrap: 'wordWrapColumn', cursorStyle: 'line',