/** * Creates a new spell check manager. */ private SpellCheckEngine() { fGlobalDictionaries.add(new TaskTagDictionary()); fGlobalDictionaries.add(new HtmlTagDictionary()); fGlobalDictionaries.add(new JavaDocTagDictionary()); try { Locale locale= null; final Enumeration locations= getDictionaryLocations(); while (locations != null && locations.hasMoreElements()) { URL location= (URL)locations.nextElement(); for (final Iterator iterator= getLocalesWithInstalledDictionaries(location).iterator(); iterator.hasNext();) { locale= (Locale)iterator.next(); fLocaleDictionaries.put(locale, new LocaleSensitiveSpellDictionary(locale, location)); } } } catch (IOException exception) { // Do nothing } JavaPlugin.getDefault().getPreferenceStore().addPropertyChangeListener(this); }
/** * Creates a new spell check manager. */ private SpellCheckEngine() { fGlobalDictionaries.add(new TaskTagDictionary()); fGlobalDictionaries.add(new HtmlTagDictionary()); fGlobalDictionaries.add(new JavaDocTagDictionary()); try { Locale locale= null; final Enumeration<URL> locations= getDictionaryLocations(); while (locations != null && locations.hasMoreElements()) { URL location= locations.nextElement(); for (final Iterator<Locale> iterator= getLocalesWithInstalledDictionaries(location).iterator(); iterator.hasNext();) { locale= iterator.next(); fLocaleDictionaries.put(locale, new LocaleSensitiveSpellDictionary(locale, location)); } } } catch (IOException exception) { // Do nothing } JavaPlugin.getDefault().getPreferenceStore().addPropertyChangeListener(this); EditorsUI.getPreferenceStore().addPropertyChangeListener(this); }
/** * Creates a new spell check manager. */ private SpellCheckEngine() { fGlobalDictionaries.add(new TaskTagDictionary()); fGlobalDictionaries.add(new HtmlTagDictionary()); fGlobalDictionaries.add(new JavaDocTagDictionary()); try { Locale locale= null; final Enumeration<URL> locations= getDictionaryLocations(); while (locations != null && locations.hasMoreElements()) { URL location= locations.nextElement(); for (final Iterator<Locale> iterator= getLocalesWithInstalledDictionaries(location).iterator(); iterator.hasNext();) { locale= iterator.next(); fLocaleDictionaries.put(locale, new LocaleSensitiveSpellDictionary(locale, location)); } } } catch (IOException exception) { // Do nothing } JavaPlugin.getDefault().getPreferenceStore().addPropertyChangeListener(this); EditorsUI.getPreferenceStore().addPropertyChangeListener(this); }