/** * Reads all extensions. * <p> * This method can be called more than once in order to reload * from a changed extension registry. * </p> */ public synchronized void reloadExtensions() { List descriptors= new ArrayList(); fDescriptorsMap= new HashMap(); fDefaultDescriptor= null; IConfigurationElement[] elements= Platform.getExtensionRegistry().getConfigurationElementsFor(TextEditorPlugin.PLUGIN_ID, SPELLING_ENGINE_EXTENSION_POINT); for (int i= 0; i < elements.length; i++) { SpellingEngineDescriptor descriptor= new SpellingEngineDescriptor(elements[i]); descriptors.add(descriptor); fDescriptorsMap.put(descriptor.getId(), descriptor); if (fDefaultDescriptor == null && descriptor.isDefault()) fDefaultDescriptor= descriptor; } fDescriptors= (SpellingEngineDescriptor[]) descriptors.toArray(new SpellingEngineDescriptor[descriptors.size()]); fLoaded= true; }
/** * Reads all extensions. * <p> * This method can be called more than once in order to reload * from a changed extension registry. * </p> */ public synchronized void reloadExtensions() { List<SpellingEngineDescriptor> descriptors= new ArrayList<>(); fDescriptorsMap= new HashMap<>(); fDefaultDescriptor= null; IConfigurationElement[] elements= Platform.getExtensionRegistry().getConfigurationElementsFor(TextEditorPlugin.PLUGIN_ID, SPELLING_ENGINE_EXTENSION_POINT); for (int i= 0; i < elements.length; i++) { SpellingEngineDescriptor descriptor= new SpellingEngineDescriptor(elements[i]); descriptors.add(descriptor); fDescriptorsMap.put(descriptor.getId(), descriptor); if (fDefaultDescriptor == null && descriptor.isDefault()) fDefaultDescriptor= descriptor; } fDescriptors= descriptors.toArray(new SpellingEngineDescriptor[descriptors.size()]); fLoaded= true; if (fDefaultDescriptor == null && fDescriptors.length > 0) fDefaultDescriptor= fDescriptors[0]; }
/** * Reads all extensions. * <p> * This method can be called more than once in order to reload * from a changed extension registry. * </p> */ public synchronized void reloadExtensions() { List<SpellingEngineDescriptor> descriptors= new ArrayList<>(); fDescriptorsMap= new HashMap<>(); fDefaultDescriptor= null; IConfigurationElement[] elements= Platform.getExtensionRegistry().getConfigurationElementsFor(TextEditorPlugin.PLUGIN_ID, SPELLING_ENGINE_EXTENSION_POINT); for (int i= 0; i < elements.length; i++) { SpellingEngineDescriptor descriptor= new SpellingEngineDescriptor(elements[i]); descriptors.add(descriptor); fDescriptorsMap.put(descriptor.getId(), descriptor); if (fDefaultDescriptor == null && descriptor.isDefault()) fDefaultDescriptor= descriptor; } fDescriptors= descriptors.toArray(new SpellingEngineDescriptor[descriptors.size()]); fLoaded= true; if (fDefaultDescriptor == null && fDescriptors.length > 0) fDefaultDescriptor= fDescriptors[0]; }