[folding] add java folding regions

2024-08-27 13:00:58 +00:00 · 2017-10-13 09:30:33 +02:00 · 2017-10-13 09:30:33 +02:00 · c697689589
parent d1047a65ed
commit c697689589
1 changed files with 7 additions and 1 deletions
--- a/extensions/java/language-configuration.json
+++ b/extensions/java/language-configuration.json
@ -23,5 +23,11 @@
 		["\"", "\""],
 		["'", "'"],
 		["<", ">"]
-	]
+	],
+	"folding": {
+		"markers": {
+			"start": "^\\s*//\\s*(#?region\\b)|(<editor-fold\\b)",
+			"end": "^\\s*//\\s*(#?endregion\\b)|(</editor-fold>)"
+		}
+	}
 }