Changeset 2697


Ignore:
Timestamp:
Apr 17, 2007, 8:43:45 PM (14 years ago)
Author:
orlov
Message:
Location:
devel-tools/trunk/eclipse/org.refal.plus.rfpdt.editor/src/org/refal/plus/rfpdt/editor
Files:
1 deleted
2 edited

Legend:

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

    r2696 r2697  
    11package org.refal.plus.rfpdt.editor;
    22
     3import org.eclipse.jface.text.DefaultTextHover;
    34import org.eclipse.jface.text.IDocument;
    45import org.eclipse.jface.text.ITextDoubleClickStrategy;
     6import org.eclipse.jface.text.ITextHover;
    57import org.eclipse.jface.text.TextAttribute;
    68import org.eclipse.jface.text.presentation.IPresentationReconciler;
     
    810import org.eclipse.jface.text.rules.DefaultDamagerRepairer;
    911import org.eclipse.jface.text.rules.Token;
     12import org.eclipse.jface.text.source.DefaultAnnotationHover;
    1013import org.eclipse.jface.text.source.IAnnotationHover;
    1114import org.eclipse.jface.text.source.ISourceViewer;
     
    6265        }
    6366
     67        public ITextHover getTextHover(ISourceViewer sourceViewer, String contentType) {
     68                return new DefaultTextHover(sourceViewer);
     69        }
     70
    6471        public IAnnotationHover getAnnotationHover(ISourceViewer sourceViewer) {
    65                 return new RfpAnnotationHover();
     72                return new DefaultAnnotationHover();
    6673        }
    6774}
  • devel-tools/trunk/eclipse/org.refal.plus.rfpdt.editor/src/org/refal/plus/rfpdt/editor/RfpEditor.java

    r2554 r2697  
    1313                setDocumentProvider(new RfpDocumentProvider());
    1414        }
     15
    1516        public void dispose() {
    1617                colorManager.dispose();
Note: See TracChangeset for help on using the changeset viewer.