Hide persisted and Java Plugin notifications

ls1intum · Dec 5, 2024 · d0ec266 · d0ec266
1 parent 4b2f09d
commit d0ec266
Show file tree

Hide file tree

Showing 2 changed files with 15 additions and 1 deletion.
diff --git a/images/base-ide/project/.theia/settings.json b/images/base-ide/project/.theia/settings.json
@@ -1,6 +1,8 @@
 {
     "extensions.ignoreRecommendations": true,
     "files.exclude": {
-        "**/.theia": true
+        "**/.theia": true,
+        "persisted": true,
+        "lost+found": true
     }
 }
diff --git a/images/java-17/project/.theia/settings.json b/images/java-17/project/.theia/settings.json
@@ -0,0 +1,12 @@
+{
+    "extensions.ignoreRecommendations": true,
+    "files.exclude": {
+        "**/.theia": true,
+        "persisted": true,
+        "lost+found": true
+    },
+    "java.help.collectErrorLog": false,
+    "java.help.firstView": "none",
+    "java.help.showReleaseNotes": false,
+    "java.silentNotification": true
+}