| New file |
| | |
|---|
| | | { |
|---|
| | | // ✅ Salvataggio automatico dopo una pausa di 1 secondo |
|---|
| | | "files.autoSave": "afterDelay", |
|---|
| | | "files.autoSaveDelay": 1000, |
|---|
| | | |
|---|
| | | // ✅ Mostra tutte le cartelle espanse (disattiva la "compattazione" nel file explorer) |
|---|
| | | "explorer.compactFolders": false, |
|---|
| | | |
|---|
| | | // (Facoltativo) ✅ Imposta il linguaggio di default per nuovi file senza estensione |
|---|
| | | "files.defaultLanguage": "java", |
|---|
| | | |
|---|
| | | "[java]": { |
|---|
| | | "editor.defaultFormatter": "redhat.java", |
|---|
| | | "editor.formatOnSave": true |
|---|
| | | }, |
|---|
| | | |
|---|
| | | // ✅ Abilita linting e suggerimenti Java |
|---|
| | | "java.errors.incompleteClasspath.severity": "warning", |
|---|
| | | "java.configuration.checkProjectSettingsExclusions": false, |
|---|
| | | "java.configuration.updateBuildConfiguration": "automatic", |
|---|
| | | "java.import.gradle.enabled": false, |
|---|
| | | "java.import.maven.enabled": true, |
|---|
| | | |
|---|
| | | // (Facoltativo) ✅ Rendi visibili anche i file nascosti (come .gitignore, ecc.) |
|---|
| | | "files.exclude": { |
|---|
| | | "**/.git": false, |
|---|
| | | "**/.DS_Store": true |
|---|
| | | } |
|---|
| | | } |
|---|
