From cce50a63995df8d7d8fbc22b932b352000da2dbb Mon Sep 17 00:00:00 2001 From: danthe1st Date: Wed, 25 Dec 2024 20:48:52 +0100 Subject: [PATCH] add preference help for custom folding regions See https://github.com/eclipse-jdt/eclipse.jdt.ui/pull/1825 --- .../java/editor/ref-preferences-folding.htm | 37 +++++++++++++++++++ 1 file changed, 37 insertions(+) diff --git a/eclipse.platform.common/bundles/org.eclipse.jdt.doc.user/reference/preferences/java/editor/ref-preferences-folding.htm b/eclipse.platform.common/bundles/org.eclipse.jdt.doc.user/reference/preferences/java/editor/ref-preferences-folding.htm index 80d321b8ab2..8b7e1d84763 100644 --- a/eclipse.platform.common/bundles/org.eclipse.jdt.doc.user/reference/preferences/java/editor/ref-preferences-folding.htm +++ b/eclipse.platform.common/bundles/org.eclipse.jdt.doc.user/reference/preferences/java/editor/ref-preferences-folding.htm @@ -91,8 +91,45 @@

Java Editor Folding Preferences

On

+ + +

Custom Folding regions

+ + +

If enabled, custom folding regions are folded when opening a new editor.

+ + +

Off

+ + + + +

Text marking start of region

+ + +

Comments starting with the content of this option indicate the start of custom folding regions.

+ + +

#region

+ + + + +

Text marking end of region

+ + +

Comments starting with the content of this option indicate the end of custom folding regions.

+ + +

#endregion

+ + +

+Custom folding regions allow creating regions to fold using a marker text for the start and end of the region in a comment. +Leaving the fields for the start or end markers empty disables this feature. +

Java Editor preference page