[dev env] Update prettier to 3.2.5

This should hopefully help Nix users (cc #684)
ejgallego · Apr 29, 2024 · 8812759 · 8812759
1 parent 0d0273e
commit 8812759
Show file tree

Hide file tree

Showing 4 changed files with 8 additions and 8 deletions.
diff --git a/editor/code/package-lock.json b/editor/code/package-lock.json
diff --git a/editor/code/package.json b/editor/code/package.json
@@ -322,7 +322,7 @@
     "@types/vscode": "^1.75.0",
     "@types/vscode-webview": "^1.57.2",
     "esbuild": "^0.16.17",
-    "prettier": "^3.0.3",
+    "prettier": "^3.2.5",
     "typescript": "^5.2.2",
     "@vscode/vsce": "^2.21.1"
   },

diff --git a/editor/code/src/client.ts b/editor/code/src/client.ts
@@ -242,10 +242,10 @@ export function activateCoqLSP(
       callKind == TextEditorSelectionChangeKind.Mouse
         ? 1
         : callKind == TextEditorSelectionChangeKind.Keyboard
-        ? 2
-        : callKind
-        ? callKind
-        : 3;
+          ? 2
+          : callKind
+            ? callKind
+            : 3;
     // When evt.kind is null, it often means it was due to an
     // edit, we want to re-trigger in that case
 

diff --git a/editor/code/views/info/Message.tsx b/editor/code/views/info/Message.tsx
@@ -24,8 +24,8 @@ export function Message({
     typeof message === "string"
       ? message
       : typeof message === "object" && "text" in message
-      ? message.text
-      : message;
+        ? message.text
+        : message;
 
   return (
     <li key={key} className={"coq-message"} ref={ref}>