Changeset 3378 for devel-tools/trunk

Timestamp:

Feb 6, 2008, 10:41:24 AM (13 years ago)

Author:

yura

Message:

• Error text hover is also shown.

File:

• devel-tools/trunk/eclipse/org.refal.plus.rfpdt.editor/src/org/refal/plus/rfpdt/editor/RfpTextHover.java (modified) (3 diffs)

devel-tools/trunk/eclipse/org.refal.plus.rfpdt.editor/src/org/refal/plus/rfpdt/editor/RfpTextHover.java

@@ -4 +4 @@
 import org.eclipse.jface.text.IRegion;
 import org.eclipse.jface.text.ITextViewer;
+import org.eclipse.jface.text.source.Annotation;
 import org.eclipse.jface.text.source.ISourceViewer;
+import org.eclipse.ui.texteditor.MarkerAnnotation;
 import org.refal.plus.rfpdt.comp.ast.AstImplem;
 import org.refal.plus.rfpdt.comp.ast.AstNode;
@@ -18 +20 @@
 
     public String getHoverInfo (ITextViewer textViewer, IRegion hoverRegion) {
+        String res = super.getHoverInfo(textViewer, hoverRegion);
+        if (res != null)
+            return res;
         if (editor.rfpReconcilingStrategy == null)
             return null;
@@ -28 +33 @@
         return ((IHoverInfo) astNode).getHoverInfo();
     }
+
+    protected boolean isIncluded (Annotation annotation) {
+        if (annotation instanceof MarkerAnnotation)
+            return true;
+        return false;
+    }
 }