Use documentChangeEvent to check for any changes faster

Author: mug1wara26

scripts/lsp.js

@@ -22,7 +22,7 @@ async function main() {
 
 async function downloadLsp() {
   const outputFolder = getOutputDir();
-  const version = "0.1.4";
+  const version = "0.1.8";
   const lspFilename = "source-lsp.js";
   const url = `https://github.com/source-academy/source-lsp/releases/download/v${version}/${lspFilename}`;
   // const url = `https://github.com/source-academy/source-lsp/releases/latest/download/${lspFilename}`;

src/utils/editor.ts

@@ -73,7 +73,11 @@ export class Editor {
     ].join("\n");
 
     await vscode.workspace.fs.readFile(vscode.Uri.file(filePath)).then(
-      () => null,
+      (value) => {
+        if (value.toString() !== contents) {
+          console.log("editor code changed while offline")
+        }
+      },
       async () => {
         self.log(`Opening file failed, creating at ${filePath}`);
         await vscode.workspace.fs.writeFile(
@@ -94,12 +98,12 @@ export class Editor {
     vscode.commands.executeCommand("editor.fold");
 
     self.editor = editor;
-    vscode.workspace.onDidChangeTextDocument(() => {
+    vscode.workspace.onDidChangeTextDocument((e: vscode.TextDocumentChangeEvent) => {
       if (!self.onChangeCallback) {
         return;
       }
       const text = editor.document.getText();
-      if (self.code === text) {
+      if (e.contentChanges.length === 0) {
         self.log(`EXTENSION: Editor's code did not change, ignoring`);
         return;
       }
@@ -109,7 +113,7 @@ export class Editor {
         );
         return;
       }
-      self.log(`EXTENSION: Editor's code changed! ${text}`);
+      self.log(`EXTENSION: Editor's code changed!`);
       self.onChangeCallback(self);
       self.code = text;
     });