import org.eclipse.ui.editors.text.EditorsUI;
import org.eclipse.ui.texteditor.AnnotationPreference;
-// TODO: delete this class ? we use PHPAnnotationHover instead !
/**
* Determines all markers for the given line and collects, concatenates, and
* formates their messages.
public static final JavaAnnotationHoverType VERTICAL_RULER_HOVER = new JavaAnnotationHoverType();
- private IPreferenceStore fStore = PHPeclipsePlugin.getDefault()
- .getPreferenceStore();
+ // private IPreferenceStore fStore =
+ // PHPeclipsePlugin.getDefault().getPreferenceStore();
+ private IPreferenceStore fStore = EditorsUI.getPreferenceStore();
private JavaAnnotationHoverType fType;
public class AnnotationHover extends AbstractJavaEditorTextHover {
- private IPreferenceStore fStore = PHPeclipsePlugin.getDefault()
- .getPreferenceStore();
+ // private IPreferenceStore fStore =
+ // PHPeclipsePlugin.getDefault().getPreferenceStore();
+ private IPreferenceStore fStore = EditorsUI.getPreferenceStore();
private DefaultMarkerAnnotationAccess fAnnotationAccess = new DefaultMarkerAnnotationAccess();
JavaCore.initializeDefaultPluginPreferences();
PreferenceConstants.initializeDefaultValues(store);
// externalTools.initializeDefaultPreferences(store);
- MarkerAnnotationPreferences.initializeDefaultValues(store);
+ // MarkerAnnotationPreferences.initializeDefaultValues(store);
}
private IWorkbenchPage internalGetActivePage() {