Home
last modified time | relevance | path

Searched refs:isInitializedKey (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.java4180 String isInitializedKey= "spelling_locale_initialized"; //$NON-NLS-1$ in initializeDefaultValues() local
4181 if (!store.getBoolean(isInitializedKey)) { in initializeDefaultValues()
4182 store.setValue(isInitializedKey, true); in initializeDefaultValues()