Clarify extension host protocol

This commit is contained in:
Alex Dima
2017-04-14 12:00:29 +03:00
parent 922389d79a
commit 307fda2689
5 changed files with 35 additions and 22 deletions

View File

@@ -38,6 +38,7 @@ import { IApplyEditsOptions, IUndoStopOptions, TextEditorRevealType, ITextEditor
import { InternalTreeExplorerNodeContent } from 'vs/workbench/parts/explorers/common/treeExplorerViewModel';
import { TaskSet } from 'vs/workbench/parts/tasks/common/tasks';
import { IModelChangedData } from 'vs/editor/common/model/mirrorModel2';
export interface IEnvironment {
enableProposedApi: boolean;
@@ -312,7 +313,7 @@ export abstract class ExtHostDocumentsShape {
$acceptModelSaved(strURL: string): void { throw ni(); }
$acceptModelDirty(strURL: string): void { throw ni(); }
$acceptModelReverted(strURL: string): void { throw ni(); }
$acceptModelChanged(strURL: string, events: editorCommon.IModelContentChangedEvent2[], isDirty: boolean): void { throw ni(); }
$acceptModelChanged(strURL: string, events: IModelChangedData[], isDirty: boolean): void { throw ni(); }
}
export abstract class ExtHostDocumentSaveParticipantShape {

View File

@@ -19,6 +19,7 @@ import { TextSource } from 'vs/editor/common/model/textSource';
import { MainContext, MainThreadDocumentsShape, ExtHostDocumentsShape } from './extHost.protocol';
import { ExtHostDocumentData, setWordDefinitionFor } from './extHostDocumentData';
import { ExtHostDocumentsAndEditors } from './extHostDocumentsAndEditors';
import { IModelChangedData } from 'vs/editor/common/model/mirrorModel2';
export class ExtHostDocuments extends ExtHostDocumentsShape {
@@ -184,7 +185,7 @@ export class ExtHostDocuments extends ExtHostDocumentsShape {
document._acceptIsDirty(false);
}
public $acceptModelChanged(strURL: string, events: editorCommon.IModelContentChangedEvent2[], isDirty: boolean): void {
public $acceptModelChanged(strURL: string, events: IModelChangedData[], isDirty: boolean): void {
let data = this._documentsAndEditors.getDocument(strURL);
data._acceptIsDirty(isDirty);
data.onEvents(events);