Save before formatting happens

package.json

@@ -1,6 +1,6 @@
 {
   "name": "juvix-mode",
-  "version": "0.1.22",
+  "version": "0.1.23",
   "license": "GPL-3.0",
   "description": "Juvix Mode for VSCode",
   "displayName": "Juvix",
@@ -51,8 +51,8 @@
     "@typescript-eslint/eslint-plugin": "^5.49.0",
     "@typescript-eslint/parser": "^5.49.0",
     "@vscode/test-electron": "^2.2.2",
-    "@vscode/vsce": "^2.16.0",
-    "eslint": "^8.32.0",
+    "@vscode/vsce": "^2.17.0",
+    "eslint": "^8.33.0",
     "eslint-plugin-header": "^3.1.1",
     "glob": "^8.1.0",
     "mocha": "^10.2.0",
@@ -2419,7 +2419,7 @@
     }
   },
   "dependencies": {
-    "@vscode/vsce": "^2.16.0",
+    "@vscode/vsce": "^2.17.0",
     "mobx": "6.7.0",
     "npx": "^10.2.2",
     "run": "^1.4.0",

src/extension.ts

@@ -18,15 +18,15 @@ import * as formatter from './formatter';
 
 export async function activate(context: vscode.ExtensionContext) {
   debugChannel.clear();
-  repl.activate(context);
   statusBar.activate(context);
-  inputMethod.activate(context);
-  tasks.activate(context);
   syntaxHighlighter.activate(context);
   goToDefinition.activate(context);
-  dev.activate(context);
+  tasks.activate(context);
+  inputMethod.activate(context);
+  repl.activate(context);
   judoc.activate(context);
   check.activate(context);
   formatter.activate(context);
+  dev.activate(context);
   debugChannel.info('Juvix extension is ready!');
 }

src/formatter.ts

@@ -36,9 +36,15 @@ export function activate(_context: vscode.ExtensionContext) {
         filePath,
         '--with-comments',
       ].join(' ');
-
-      const styledText = proc.execSync(formatterCall).toString();
-      return [vscode.TextEdit.replace(range, styledText)];
+      try {
+        document.save();
+        debugChannel.appendLine('Saved file before formatting');
+        const styledText = proc.execSync(formatterCall).toString();
+        return [vscode.TextEdit.replace(range, styledText)];
+      } catch (error) {
+        debugChannel.info('Error formatting file', error);
+      }
+      return [];
     },
   });
 }