Searched refs:SPELLING_USER_DICTIONARY (Results 1 – 7 of 7) sorted by relevance
237 ISpellCheckPreferenceKeys.SPELLING_USER_DICTIONARY, in createSpellChecker()240 .getString(ISpellCheckPreferenceKeys.SPELLING_USER_DICTIONARY))); in createSpellChecker()259 ISpellCheckPreferenceKeys.SPELLING_USER_DICTIONARY)) { in propertyChange()
98 public final static String SPELLING_USER_DICTIONARY = "spelling_user_dictionary"; //$NON-NLS-1$ field
2031 …public final static String SPELLING_USER_DICTIONARY = ISpellCheckPreferenceKeys.SPELLING_USER_DICT… field in PreferenceConstants2982 store.setDefault(PreferenceConstants.SPELLING_USER_DICTIONARY, ""); //$NON-NLS-1$ in initializeDefaultValues()
378 if (event.getProperty().equals(PreferenceConstants.SPELLING_USER_DICTIONARY)) { in propertyChange()411 String filePath= store.getString(PreferenceConstants.SPELLING_USER_DICTIONARY); in resetUserDictionary()
71 …e static final String PREF_SPELLING_USER_DICTIONARY = PreferenceConstants.SPELLING_USER_DICTIONARY;
2806 public final static String SPELLING_USER_DICTIONARY= "spelling_user_dictionary"; //$NON-NLS-1$ field in PreferenceConstants4198 store.setDefault(PreferenceConstants.SPELLING_USER_DICTIONARY, ""); //$NON-NLS-1$ in initializeDefaultValues()
102 …final Key PREF_SPELLING_USER_DICTIONARY= getJDTUIKey(PreferenceConstants.SPELLING_USER_DICTIONARY);