Add API to open a file or diff editor on a specific selection range (fixes #30241)

This commit is contained in:
Benjamin Pasero
2017-07-07 12:20:34 +02:00
parent 6af048189e
commit f381ce961d
7 changed files with 37 additions and 10 deletions

View File

@@ -69,6 +69,7 @@ export class ExtHostEditors extends ExtHostEditorsShape {
options = {
position: TypeConverters.fromViewColumn(columnOrOptions.viewColumn),
preserveFocus: columnOrOptions.preserveFocus,
selection: typeof columnOrOptions.selection === 'object' ? TypeConverters.fromRange(columnOrOptions.selection) : undefined,
pinned: typeof columnOrOptions.preview === 'boolean' ? !columnOrOptions.preview : undefined
};
} else {