/** * Returns all Java editor text hovers contributed to the workbench. * * @return an array with the contributed text hovers */ public static JavaEditorTextHoverDescriptor[] getContributedHovers() { IExtensionRegistry registry= Platform.getExtensionRegistry(); IConfigurationElement[] elements= registry.getConfigurationElementsFor(JAVA_EDITOR_TEXT_HOVER_EXTENSION_POINT); JavaEditorTextHoverDescriptor[] hoverDescs= createDescriptors(elements); initializeFromPreferences(hoverDescs); return hoverDescs; }
/** * Returns all Java editor text hovers contributed to the workbench. * * @return an array with the contributed text hovers */ public static JavaEditorTextHoverDescriptor[] getContributedHovers() { IExtensionRegistry registry= Platform.getExtensionRegistry(); IConfigurationElement[] elements= registry.getConfigurationElementsFor(JAVA_EDITOR_TEXT_HOVER_EXTENSION_POINT); JavaEditorTextHoverDescriptor[] hoverDescs= createDescriptors(elements); initializeFromPreferences(hoverDescs); return hoverDescs; }
/** * Returns all Java editor text hovers contributed to the workbench. * * @return an array with the contributed text hovers */ public static JavaEditorTextHoverDescriptor[] getContributedHovers() { IExtensionRegistry registry= Platform.getExtensionRegistry(); IConfigurationElement[] elements= registry.getConfigurationElementsFor(JAVA_EDITOR_TEXT_HOVER_EXTENSION_POINT); JavaEditorTextHoverDescriptor[] hoverDescs= createDescriptors(elements); initializeFromPreferences(hoverDescs); return hoverDescs; }