import java.util.List;
import java.util.Map;
-import net.sourceforge.phpdt.internal.corext.Assert;
+//incastrix
+//import net.sourceforge.phpdt.internal.corext.Assert;
+import org.eclipse.core.runtime.Assert;
import net.sourceforge.phpdt.internal.ui.PHPUIMessages;
-import net.sourceforge.phpeclipse.PHPeclipsePlugin;
+//import net.sourceforge.phpeclipse.PHPeclipsePlugin;
import org.eclipse.jface.preference.IPreferenceStore;
import org.eclipse.jface.text.BadLocationException;
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;