/*--------------------------------------------------------------------------------------------- * Copyright (c) Microsoft Corporation. All rights reserved. * Licensed under the MIT License. See License.txt in the project root for license information. *--------------------------------------------------------------------------------------------*/ import { Emitter, Event } from 'vs/base/common/event'; import * as arrays from 'vs/base/common/arrays'; import { ExtHostEditorsShape, IEditorPropertiesChangeData, IMainContext, ITextDocumentShowOptions, ITextEditorPositionData, MainContext, MainThreadTextEditorsShape } from 'vs/workbench/api/common/extHost.protocol'; import { ExtHostDocumentsAndEditors } from 'vs/workbench/api/common/extHostDocumentsAndEditors'; import { ExtHostTextEditor, TextEditorDecorationType } from 'vs/workbench/api/common/extHostTextEditor'; import * as TypeConverters from 'vs/workbench/api/common/extHostTypeConverters'; import { TextEditorSelectionChangeKind } from 'vs/workbench/api/common/extHostTypes'; import type * as vscode from 'vscode'; export class ExtHostEditors implements ExtHostEditorsShape { private readonly _onDidChangeTextEditorSelection = new Emitter(); private readonly _onDidChangeTextEditorOptions = new Emitter(); private readonly _onDidChangeTextEditorVisibleRanges = new Emitter(); private readonly _onDidChangeTextEditorViewColumn = new Emitter(); private readonly _onDidChangeActiveTextEditor = new Emitter(); private readonly _onDidChangeVisibleTextEditors = new Emitter(); readonly onDidChangeTextEditorSelection: Event = this._onDidChangeTextEditorSelection.event; readonly onDidChangeTextEditorOptions: Event = this._onDidChangeTextEditorOptions.event; readonly onDidChangeTextEditorVisibleRanges: Event = this._onDidChangeTextEditorVisibleRanges.event; readonly onDidChangeTextEditorViewColumn: Event = this._onDidChangeTextEditorViewColumn.event; readonly onDidChangeActiveTextEditor: Event = this._onDidChangeActiveTextEditor.event; readonly onDidChangeVisibleTextEditors: Event = this._onDidChangeVisibleTextEditors.event; private _proxy: MainThreadTextEditorsShape; private _extHostDocumentsAndEditors: ExtHostDocumentsAndEditors; constructor( mainContext: IMainContext, extHostDocumentsAndEditors: ExtHostDocumentsAndEditors, ) { this._proxy = mainContext.getProxy(MainContext.MainThreadTextEditors); this._extHostDocumentsAndEditors = extHostDocumentsAndEditors; this._extHostDocumentsAndEditors.onDidChangeVisibleTextEditors(e => this._onDidChangeVisibleTextEditors.fire(e)); this._extHostDocumentsAndEditors.onDidChangeActiveTextEditor(e => this._onDidChangeActiveTextEditor.fire(e)); } getActiveTextEditor(): ExtHostTextEditor | undefined { return this._extHostDocumentsAndEditors.activeEditor(); } getVisibleTextEditors(): vscode.TextEditor[] { return this._extHostDocumentsAndEditors.allEditors(); } showTextDocument(document: vscode.TextDocument, column: vscode.ViewColumn, preserveFocus: boolean): Promise; showTextDocument(document: vscode.TextDocument, options: { column: vscode.ViewColumn, preserveFocus: boolean, pinned: boolean }): Promise; showTextDocument(document: vscode.TextDocument, columnOrOptions: vscode.ViewColumn | vscode.TextDocumentShowOptions | undefined, preserveFocus?: boolean): Promise; showTextDocument(document: vscode.TextDocument, columnOrOptions: vscode.ViewColumn | vscode.TextDocumentShowOptions | undefined, preserveFocus?: boolean): Promise { let options: ITextDocumentShowOptions; if (typeof columnOrOptions === 'number') { options = { position: TypeConverters.ViewColumn.from(columnOrOptions), preserveFocus }; } else if (typeof columnOrOptions === 'object') { options = { position: TypeConverters.ViewColumn.from(columnOrOptions.viewColumn), preserveFocus: columnOrOptions.preserveFocus, selection: typeof columnOrOptions.selection === 'object' ? TypeConverters.Range.from(columnOrOptions.selection) : undefined, pinned: typeof columnOrOptions.preview === 'boolean' ? !columnOrOptions.preview : undefined }; } else { options = { preserveFocus: false }; } return this._proxy.$tryShowTextDocument(document.uri, options).then(id => { const editor = id && this._extHostDocumentsAndEditors.getEditor(id); if (editor) { return editor; } else { throw new Error(`Failed to show text document ${document.uri.toString()}, should show in editor #${id}`); } }); } createTextEditorDecorationType(options: vscode.DecorationRenderOptions): vscode.TextEditorDecorationType { return new TextEditorDecorationType(this._proxy, options); } applyWorkspaceEdit(edit: vscode.WorkspaceEdit): Promise { const dto = TypeConverters.WorkspaceEdit.from(edit, this._extHostDocumentsAndEditors); return this._proxy.$tryApplyWorkspaceEdit(dto); } // --- called from main thread $acceptEditorPropertiesChanged(id: string, data: IEditorPropertiesChangeData): void { const textEditor = this._extHostDocumentsAndEditors.getEditor(id); if (!textEditor) { throw new Error('unknown text editor'); } // (1) set all properties if (data.options) { textEditor._acceptOptions(data.options); } if (data.selections) { const selections = data.selections.selections.map(TypeConverters.Selection.to); textEditor._acceptSelections(selections); } if (data.visibleRanges) { const visibleRanges = arrays.coalesce(data.visibleRanges.map(TypeConverters.Range.to)); textEditor._acceptVisibleRanges(visibleRanges); } // (2) fire change events if (data.options) { this._onDidChangeTextEditorOptions.fire({ textEditor: textEditor, options: { ...data.options, lineNumbers: TypeConverters.TextEditorLineNumbersStyle.to(data.options.lineNumbers) } }); } if (data.selections) { const kind = TextEditorSelectionChangeKind.fromValue(data.selections.source); const selections = data.selections.selections.map(TypeConverters.Selection.to); this._onDidChangeTextEditorSelection.fire({ textEditor, selections, kind }); } if (data.visibleRanges) { const visibleRanges = arrays.coalesce(data.visibleRanges.map(TypeConverters.Range.to)); this._onDidChangeTextEditorVisibleRanges.fire({ textEditor, visibleRanges }); } } $acceptEditorPositionData(data: ITextEditorPositionData): void { for (const id in data) { const textEditor = this._extHostDocumentsAndEditors.getEditor(id); if (!textEditor) { throw new Error('Unknown text editor'); } const viewColumn = TypeConverters.ViewColumn.to(data[id]); if (textEditor.viewColumn !== viewColumn) { textEditor._acceptViewColumn(viewColumn); this._onDidChangeTextEditorViewColumn.fire({ textEditor, viewColumn }); } } } getDiffInformation(id: string): Promise { return Promise.resolve(this._proxy.$getDiffInformation(id)); } }