remove padding of editor by disable folding feature
This commit is contained in:
parent
4c80ac2e8a
commit
6d5c00dc5d
@ -83,7 +83,7 @@ class ConfigEditor extends React.Component {
|
|||||||
lineNumbersMinChars: true,
|
lineNumbersMinChars: true,
|
||||||
theme: 'vs-dark',
|
theme: 'vs-dark',
|
||||||
wordWrapColumn: 120,
|
wordWrapColumn: 120,
|
||||||
folding: true,
|
folding: false,
|
||||||
showFoldingControls: 'always',
|
showFoldingControls: 'always',
|
||||||
wordWrap: 'wordWrapColumn',
|
wordWrap: 'wordWrapColumn',
|
||||||
cursorStyle: 'line',
|
cursorStyle: 'line',
|
||||||
@ -101,7 +101,7 @@ class ConfigEditor extends React.Component {
|
|||||||
lineNumbersMinChars: true,
|
lineNumbersMinChars: true,
|
||||||
theme: 'vs-dark',
|
theme: 'vs-dark',
|
||||||
wordWrapColumn: 120,
|
wordWrapColumn: 120,
|
||||||
folding: true,
|
folding: false,
|
||||||
showFoldingControls: 'always',
|
showFoldingControls: 'always',
|
||||||
wordWrap: 'wordWrapColumn',
|
wordWrap: 'wordWrapColumn',
|
||||||
cursorStyle: 'line',
|
cursorStyle: 'line',
|
||||||
|
Loading…
Reference in New Issue
Block a user