Fixes #12730: "editor.lineNumbers" should use "on", "off", and "relative"

This commit is contained in:
Alex Dima
2016-09-27 23:20:13 +03:00
parent 7f0e2adacf
commit d2060eee32
7 changed files with 23 additions and 15 deletions

View File

@@ -263,16 +263,16 @@ export class MainThreadTextEditor {
return;
}
let lineNumbers: true | false | 'relative';
let lineNumbers: 'on' | 'off' | 'relative';
switch (newConfiguration.lineNumbers) {
case TextEditorLineNumbersStyle.On:
lineNumbers = true;
lineNumbers = 'on';
break;
case TextEditorLineNumbersStyle.Relative:
lineNumbers = 'relative';
break;
default:
lineNumbers = false;
lineNumbers = 'off';
}
this._codeEditor.updateOptions({
lineNumbers: lineNumbers