Skip to content

Commit 2c2d352

Browse files
authored
Make the new folding default (#2150)
- make new extended folding option default - change preferences messages so the option is no longer marked as experimental
1 parent 0ae38b7 commit 2c2d352

File tree

2 files changed

+3
-3
lines changed

2 files changed

+3
-3
lines changed

org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/text/folding/FoldingMessages.properties

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -27,8 +27,8 @@ DefaultJavaFoldingPreferenceBlock_customRegionStart=Region start comment text
2727
defaultJavaFoldingPreferenceBlock_customRegionEnd=Region end comment text
2828

2929
DefaultJavaFoldingPreferenceBlock_New = &Activate feature
30-
DefaultJavaFoldingPreferenceBlock_New_Setting_Title = &Extended folding (Experimental)
30+
DefaultJavaFoldingPreferenceBlock_New_Setting_Title = &Extended folding
3131
JavaFoldingStructureProviderRegistry_warning_providerNotFound_resetToDefault= The ''{0}'' folding provider could not be found. Resetting to the default folding provider.
32-
DefaultJavaFoldingPreferenceBlock_Warning_New_Feature= &Enable folding for other code blocks. Activating this feature may cause a significant performance degradation.
32+
DefaultJavaFoldingPreferenceBlock_Warning_New_Feature= &Enable folding for other code blocks.
3333

3434
EmptyJavaFoldingPreferenceBlock_emptyCaption=

org.eclipse.jdt.ui/ui/org/eclipse/jdt/ui/PreferenceConstants.java

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4453,7 +4453,7 @@ public static void initializeDefaultValues(IPreferenceStore store) {
44534453
store.setDefault(EDITOR_JAVA_CODEMINING_DEFAULT_FILTER_FOR_PARAMETER_NAMES, true);
44544454
store.setDefault(EDITOR_JAVA_CODEMINING_SHOW_PARAMETER_NAME_SINGLE_ARG, true);
44554455

4456-
store.setDefault(EDITOR_NEW_FOLDING_ENABLED, false);
4456+
store.setDefault(EDITOR_NEW_FOLDING_ENABLED, true);
44574457

44584458
// Javadoc hover & view
44594459
JavaElementLinks.initDefaultPreferences(store);

0 commit comments

Comments
 (0)