From ba4a1ef8f495cb60dbeee2032f7037d2886bfd8d Mon Sep 17 00:00:00 2001
From: Michael Vorburger <mike@vorburger.ch>
Date: Mon, 26 Feb 2024 19:10:00 +0000
Subject: [PATCH] fix   (ide): Fix google-java-format in Codespace

See https://github.com/google/google-java-format/issues/1072
---
 .vscode/settings.json | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.vscode/settings.json b/.vscode/settings.json
index b9138044e..59af02523 100644
--- a/.vscode/settings.json
+++ b/.vscode/settings.json
@@ -72,6 +72,8 @@
   // Keep this version in sync with the same version in .pre-commit-config.yaml
   // NB: Changes to this are only taken into account on start-up, so need to restart.
   "java.format.settings.google.version": "1.20.0",
+  // TODO Remove when https://github.com/google/google-java-format/issues/1072 is fixed:
+  "java.format.settings.google.mode": "jar-file",
   // TODO https://github.com/eclipse-jdtls/eclipse.jdt.ls/issues/3050
   "java.compile.nullAnalysis.mode": "automatic",
   "java.completion.importOrder": ["#", "", "javax", "java"], //# is static
@@ -133,7 +135,6 @@
     "**/.DS_Store": true,
     "**/Thumbs.db": true,
     "**/.classpath": true,
-    "**/.factorypath": true,
     "**/.project": true,
     "**/.settings": true,
     "**/*.crswap": true,