refine API, add closeTextDocument call

This commit is contained in:
Johannes Rieken
2016-01-08 11:02:39 +01:00
parent 62f8a6a954
commit f484123616
4 changed files with 122 additions and 38 deletions

View File

@@ -255,6 +255,9 @@ export class ExtHostAPIImplementation {
openTextDocument(uriOrFileName:vscode.Uri | string) {
return pluginHostDocuments.openDocument(uriOrFileName);
},
closeTextDocument(document: vscode.TextDocument) {
return pluginHostDocuments.closeDocument(document);
},
registerTextDocumentContentProvider(scheme: string, provider: vscode.TextDocumentContentProvider) {
return pluginHostDocuments.registerTextDocumentContentProvider(scheme, provider);
},