Fix Problem with setting

eclipse-jdt · Dec 20, 2024 · e110a33 · e110a33
1 parent b4c5388
commit e110a33
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/org.eclipse.jdt.ui/ui/org/eclipse/jdt/ui/PreferenceConstants.java b/org.eclipse.jdt.ui/ui/org/eclipse/jdt/ui/PreferenceConstants.java
@@ -3419,7 +3419,7 @@ private PreferenceConstants() {
 	 *
 	 * @since 3.34
 	 */
-	public static final String EDITOR_NEW_FOLDING_ENABLED= "editor_folding_enabled"; //$NON-NLS-1$
+	public static final String EDITOR_NEW_FOLDING_ENABLED= "editor_new_folding_enabled"; //$NON-NLS-1$
 
 	/**
 	 * A named preference that stores the configured folding provider.