{
|
// ✅ 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
|
}
|
}
|
