Searched refs:SPELLING_PROBLEMS_THRESHOLD (Results 1 – 6 of 6) sorted by relevance
76 …PreferenceConstants.getPreferenceStore().setValue(PreferenceConstants.SPELLING_PROBLEMS_THRESHOLD,… in setUp()98 …erenceConstants.getPreferenceStore().setToDefault(PreferenceConstants.SPELLING_PROBLEMS_THRESHOLD); in tearDown()
71 …PreferenceConstants.getPreferenceStore().putValue(PreferenceConstants.SPELLING_PROBLEMS_THRESHOLD,… in setUp()96 …erenceConstants.getPreferenceStore().setToDefault(PreferenceConstants.SPELLING_PROBLEMS_THRESHOLD); in tearDown()
67 …= PreferenceConstants.getPreferenceStore().getInt(PreferenceConstants.SPELLING_PROBLEMS_THRESHOLD); in SpellEventListener()
219 …= PreferenceConstants.getPreferenceStore().getInt(PreferenceConstants.SPELLING_PROBLEMS_THRESHOLD); in execute()
2796 …public final static String SPELLING_PROBLEMS_THRESHOLD= "spelling_problems_threshold"; //$NON-NLS-… field in PreferenceConstants4204 store.setDefault(PreferenceConstants.SPELLING_PROBLEMS_THRESHOLD, 1000); in initializeDefaultValues()
101 …Key PREF_SPELLING_PROBLEMS_THRESHOLD= getJDTUIKey(PreferenceConstants.SPELLING_PROBLEMS_THRESHOLD);