provides onDidSaveTextDocument

Change-Id: I14378927257c0f93a48731d00ba6c906380cc45f Signed-off-by: Florent BENOIT <fbenoit@redhat.com>
eclipse-theia · Oct 4, 2018 · a94cec0 · a94cec0
1 parent dfb3f4c
commit a94cec0
Show file tree

Hide file tree

Showing 3 changed files with 13 additions and 3 deletions.
diff --git a/packages/plugin-ext/src/plugin/documents.ts b/packages/plugin-ext/src/plugin/documents.ts
@@ -29,12 +29,12 @@ export class DocumentsExtImpl implements DocumentsExt {
     private _onDidAddDocument = new Emitter<theia.TextDocument>();
     private _onDidRemoveDocument = new Emitter<theia.TextDocument>();
     private _onDidChangeDocument = new Emitter<theia.TextDocumentChangeEvent>();
-    private _onDidSaveDocument = new Emitter<theia.TextDocument>();
+    private _onDidSaveTextDocument = new Emitter<theia.TextDocument>();
 
     readonly onDidAddDocument: Event<theia.TextDocument> = this._onDidAddDocument.event;
     readonly onDidRemoveDocument: Event<theia.TextDocument> = this._onDidRemoveDocument.event;
     readonly onDidChangeDocument: Event<theia.TextDocumentChangeEvent> = this._onDidChangeDocument.event;
-    readonly onDidSaveDocument: Event<theia.TextDocument> = this._onDidSaveDocument.event;
+    readonly onDidSaveTextDocument: Event<theia.TextDocument> = this._onDidSaveTextDocument.event;
 
     private proxy: DocumentsMain;
     private documentLoader = new Map<string, Promise<DocumentDataExt | undefined>>();
@@ -74,7 +74,7 @@ export class DocumentsExtImpl implements DocumentsExt {
         const data = this.editorsAndDocuments.getDocument(uriString);
         this.$acceptDirtyStateChanged(strUrl, false);
         if (data) {
-            this._onDidSaveDocument.fire(data.document);
+            this._onDidSaveTextDocument.fire(data.document);
         }
     }
     $acceptDirtyStateChanged(strUrl: UriComponents, isDirty: boolean): void {

diff --git a/packages/plugin-ext/src/plugin/plugin-context.ts b/packages/plugin-ext/src/plugin/plugin-context.ts
@@ -236,6 +236,11 @@ export function createAPIFactory(rpc: RPCProtocol, pluginManager: PluginManager)
             onDidOpenTextDocument(listener, thisArg?, disposables?) {
                 return documents.onDidAddDocument(listener, thisArg, disposables);
             },
+
+            onDidSaveTextDocument(listener, thisArg?, disposables?) {
+                return documents.onDidSaveTextDocument(listener, thisArg, disposables);
+            },
+
             getConfiguration(section?, resource?): theia.WorkspaceConfiguration {
                 return preferenceRegistryExt.getConfiguration(section, resource);
             },

diff --git a/packages/plugin/src/theia.d.ts b/packages/plugin/src/theia.d.ts
@@ -2663,6 +2663,11 @@ declare module '@theia/plugin' {
          */
         export const onDidChangeTextDocument: Event<TextDocumentChangeEvent>;
 
+		/**
+		 * An event that is emitted when a [text document](#TextDocument) is saved to disk.
+		 */
+        export const onDidSaveTextDocument: Event<TextDocument>;
+
         /**
          * Opens a document. Will return early if this document is already open. Otherwise
          * the document is loaded and the [didOpen](#workspace.onDidOpenTextDocument)-event fires.