*/
public PHPEditorTextHoverDescriptor[] getPHPEditorTextHoverDescriptors() {
if (fPHPEditorTextHoverDescriptors == null) {
fPHPEditorTextHoverDescriptors = PHPEditorTextHoverDescriptor
.getContributedHovers();
ConfigurationElementSorter sorter = new ConfigurationElementSorter() {
/*
* @seeorg.eclipse.ui.texteditor.ConfigurationElementSorter#
* getConfigurationElement(java.lang.Object)
*/
public IConfigurationElement getConfigurationElement(
Object object) {
return ((PHPEditorTextHoverDescriptor) object)
.getConfigurationElement();
}
};
sorter.sort(fPHPEditorTextHoverDescriptors);
// Move Best Match hover to front
for (int i = 0; i < fPHPEditorTextHoverDescriptors.length - 1; i++) {
if (PreferenceConstants.ID_BESTMATCH_HOVER
.equals(fPHPEditorTextHoverDescriptors[i].getId())) {