diff dwtx/jface/text/source/SourceViewer.d @ 159:7926b636c282

...
author Frank Benoit <benoit@tionex.de>
date Wed, 27 Aug 2008 01:57:58 +0200
parents f70d9508c95c
children 3678e4f1a766
line wrap: on
line diff
--- a/dwtx/jface/text/source/SourceViewer.d	Tue Aug 26 02:46:34 2008 +0200
+++ b/dwtx/jface/text/source/SourceViewer.d	Wed Aug 27 01:57:58 2008 +0200
@@ -102,6 +102,7 @@
 import dwtx.jface.text.ISlaveDocumentManager;
 import dwtx.jface.text.ISlaveDocumentManagerExtension;
 import dwtx.jface.text.ITextViewerExtension2;
+import dwtx.jface.text.ITextViewerExtension8;
 import dwtx.jface.text.Position;
 import dwtx.jface.text.Region;
 import dwtx.jface.text.TextViewer;
@@ -523,7 +524,7 @@
      * @see dwtx.jface.text.TextViewer#setHoverEnrichMode(dwtx.jface.text.ITextViewerExtension8.EnrichMode)
      * @since 3.4
      */
-    public void setHoverEnrichMode(EnrichMode mode) {
+    public void setHoverEnrichMode(ITextViewerExtension8_EnrichMode mode) {
         super.setHoverEnrichMode(mode);
         if (fVerticalRulerHoveringController !is null)
             fVerticalRulerHoveringController.getInternalAccessor().setHoverEnrichMode(mode);