Fixed: 1736622 - "php marker occurrences" color - did`t have an effect
[phpeclipse.git] / net.sourceforge.phpeclipse / src / net / sourceforge / phpdt / internal / ui / text / JavaAnnotationHover.java
index f845fe3..0fe8fce 100644 (file)
@@ -31,7 +31,6 @@ import org.eclipse.jface.text.source.ISourceViewer;
 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.
@@ -46,8 +45,9 @@ public class JavaAnnotationHover implements IAnnotationHover {
 
        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;