Implement didSave, fixes #95

Author: krassowski

packages/jupyterlab-lsp/src/adapters/jupyterlab/components/completion.ts

@@ -68,7 +68,10 @@ export class LSPConnector extends DataConnector<
   }
 
   protected get _has_kernel(): boolean {
-    return this.options.session && this.options.session.kernel !== null;
+    return (
+      typeof this.options.session !== 'undefined' &&
+      this.options.session.kernel !== null
+    );
   }
 
   protected get _kernel_language(): string {

packages/jupyterlab-lsp/src/adapters/jupyterlab/jl_adapter.ts

@@ -6,7 +6,7 @@ import { CodeJumper } from '@krassowski/jupyterlab_go_to_definition/lib/jumpers/
 import { PositionConverter } from '../../converter';
 import { CodeEditor } from '@jupyterlab/codeeditor';
 import { IRenderMimeRegistry } from '@jupyterlab/rendermime';
-import { IDocumentWidget } from '@jupyterlab/docregistry';
+import { DocumentRegistry, IDocumentWidget } from '@jupyterlab/docregistry';
 
 import * as lsProtocol from 'vscode-languageserver-protocol';
 import { FreeTooltip } from './components/free_tooltip';
@@ -125,6 +125,7 @@ export abstract class JupyterLabWidgetAdapter
   ) {
     this.status_message = new StatusMessage();
     this.widget.context.pathChanged.connect(this.reload_connection.bind(this));
+    this.widget.context.saveState.connect(this.on_save_state.bind(this));
     this.invoke_command = invoke;
     this.document_connected = new Signal(this);
     this.adapters = new Map();
@@ -194,6 +195,19 @@ export abstract class JupyterLabWidgetAdapter
     );
   }
 
+  protected on_save_state(context: any, state: DocumentRegistry.SaveState) {
+    // ignore premature calls (before the editor was initialized)
+    if (typeof this.virtual_editor === 'undefined') {
+      return;
+    }
+
+    if (state === 'completed') {
+      for (let connection of this.connection_manager.connections.values()) {
+        connection.sendSaved();
+      }
+    }
+  }
+
   abstract find_ce_editor(cm_editor: CodeMirror.Editor): CodeEditor.IEditor;
 
   invoke_completer(kind: CompletionTriggerKind) {

packages/lsp-ws-connection/src/ws-connection.ts

@@ -139,7 +139,7 @@ export class LspWsConnection extends events.EventEmitter
           synchronization: {
             dynamicRegistration: true,
             willSave: false,
-            didSave: false,
+            didSave: true,
             willSaveWaitUntil: false
           },
           completion: {
@@ -230,6 +230,23 @@ export class LspWsConnection extends events.EventEmitter
     this.documentVersion++;
   }
 
+  public sendSaved() {
+    if (!this.isConnected || !this.isInitialized) {
+      return;
+    }
+    const textDocumentChange: protocol.DidSaveTextDocumentParams = {
+      textDocument: {
+        uri: this.documentInfo.documentUri,
+        version: this.documentVersion
+      } as protocol.VersionedTextDocumentIdentifier,
+      text: this.documentInfo.documentText()
+    };
+    this.connection.sendNotification(
+      'textDocument/didSave',
+      textDocumentChange
+    );
+  }
+
   public getHoverTooltip(location: IPosition) {
     if (!this.isInitialized) {
       return;