Introduce TextEditorLineNumbersStyle for TextEditorOptions.lineNumbers

This commit is contained in:
Alex Dima
2016-09-27 23:10:24 +03:00
parent 477d368fbe
commit 7f0e2adacf
4 changed files with 46 additions and 9 deletions

View File

@@ -86,6 +86,7 @@ export class ExtHostAPIImplementation {
EndOfLine: typeof vscode.EndOfLine;
TextDocumentSaveReason: typeof vscode.TextDocumentSaveReason;
TextEditorCursorStyle: typeof vscode.TextEditorCursorStyle;
TextEditorLineNumbersStyle: typeof vscode.TextEditorLineNumbersStyle;
TextEditorSelectionChangeKind: typeof vscode.TextEditorSelectionChangeKind;
commands: typeof vscode.commands;
window: typeof vscode.window;
@@ -169,6 +170,7 @@ export class ExtHostAPIImplementation {
this.TextEditorRevealType = extHostTypes.TextEditorRevealType;
this.EndOfLine = extHostTypes.EndOfLine;
this.TextEditorCursorStyle = EditorCommon.TextEditorCursorStyle;
this.TextEditorLineNumbersStyle = extHostTypes.TextEditorLineNumbersStyle;
this.TextEditorSelectionChangeKind = extHostTypes.TextEditorSelectionChangeKind;
this.TextDocumentSaveReason = extHostTypes.TextDocumentSaveReason;