Changeset 3378 for devel-tools/trunk


Ignore:
Timestamp:
Feb 6, 2008, 10:41:24 AM (13 years ago)
Author:
yura
Message:
  • Error text hover is also shown.
File:
1 edited

Legend:

Unmodified
Added
Removed
  • devel-tools/trunk/eclipse/org.refal.plus.rfpdt.editor/src/org/refal/plus/rfpdt/editor/RfpTextHover.java

    r3377 r3378  
    44import org.eclipse.jface.text.IRegion;
    55import org.eclipse.jface.text.ITextViewer;
     6import org.eclipse.jface.text.source.Annotation;
    67import org.eclipse.jface.text.source.ISourceViewer;
     8import org.eclipse.ui.texteditor.MarkerAnnotation;
    79import org.refal.plus.rfpdt.comp.ast.AstImplem;
    810import org.refal.plus.rfpdt.comp.ast.AstNode;
     
    1820
    1921    public String getHoverInfo (ITextViewer textViewer, IRegion hoverRegion) {
     22        String res = super.getHoverInfo(textViewer, hoverRegion);
     23        if (res != null)
     24            return res;
    2025        if (editor.rfpReconcilingStrategy == null)
    2126            return null;
     
    2833        return ((IHoverInfo) astNode).getHoverInfo();
    2934    }
     35
     36    protected boolean isIncluded (Annotation annotation) {
     37        if (annotation instanceof MarkerAnnotation)
     38            return true;
     39        return false;
     40    }
    3041}
Note: See TracChangeset for help on using the changeset viewer.