import java.util.Iterator;
import net.sourceforge.phpdt.internal.ui.text.HTMLPrinter;
-import net.sourceforge.phpdt.ui.PreferenceConstants;
+//import net.sourceforge.phpdt.ui.PreferenceConstants;
import net.sourceforge.phpeclipse.PHPeclipsePlugin;
import net.sourceforge.phpeclipse.phpeditor.JavaAnnotationIterator;
import net.sourceforge.phpeclipse.phpeditor.PHPTextHover;
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();
.getAnnotationPreference(annotation);
}
- static boolean isJavaProblemHover(String id) {
- return PreferenceConstants.ID_PROBLEM_HOVER.equals(id);
- }
+// static boolean isJavaProblemHover(String id) {
+// return PreferenceConstants.ID_PROBLEM_HOVER.equals(id);
+// }
}