Fixed: 1736622 - "php marker occurrences" color - did`t have an effect
[phpeclipse.git] / net.sourceforge.phpeclipse / src / net / sourceforge / phpdt / internal / ui / text / java / hover / AnnotationHover.java
index 55579c3..5c54e32 100644 (file)
@@ -37,8 +37,9 @@ import org.eclipse.ui.texteditor.IDocumentProvider;
 
 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();