Migrate more editor options

This commit is contained in:
Alex Dima
2019-09-03 20:55:26 +02:00
parent 844c90a6ca
commit 051205018f
49 changed files with 748 additions and 961 deletions

View File

@@ -58,11 +58,10 @@ export class MainThreadTextEditorProperties {
let cursorStyle: TextEditorCursorStyle;
let lineNumbers: RenderLineNumbersType;
if (codeEditor) {
const codeEditorOpts = codeEditor.getConfiguration();
const options = codeEditor.getOptions();
const renderLineNumbers = options.get(EditorOption.renderLineNumbers);
cursorStyle = codeEditorOpts.viewInfo.cursorStyle;
lineNumbers = renderLineNumbers.renderType;
const lineNumbersOpts = options.get(EditorOption.lineNumbers);
cursorStyle = options.get(EditorOption.cursorStyle);
lineNumbers = lineNumbersOpts.renderType;
} else if (previousProperties) {
cursorStyle = previousProperties.options.cursorStyle;
lineNumbers = previousProperties.options.lineNumbers;