Home
last modified time | relevance | path

Searched refs:oldPrefStr (Results 1 – 1 of 1) sorted by relevance

/dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.jdt.ui/org.eclipse.jdt.ui/ui/org/eclipse/jdt/ui/
H A DPreferenceConstants.java4284 String[] oldPrefStr= str.split(";"); //$NON-NLS-1$ in initializeDefaultValues() local
4285 for (int i= 0; i < oldPrefStr.length; i++) { in initializeDefaultValues()
4286 oldPrefStr[i]= oldPrefStr[i] + (".*"); //$NON-NLS-1$ in initializeDefaultValues()
4288 …ORS_MEMBERS, ExpandWithConstructorsConfigurationBlock.serializeMembers(Arrays.asList(oldPrefStr))); in initializeDefaultValues()