diff dwtx/jface/text/DefaultTextHover.d @ 134:51e6e63f930e

Regex fix for casts
author Frank Benoit <benoit@tionex.de>
date Sun, 24 Aug 2008 01:46:20 +0200
parents 7d818bd32d63
children 6dcb0baaa031
line wrap: on
line diff
--- a/dwtx/jface/text/DefaultTextHover.d	Sun Aug 24 01:29:22 2008 +0200
+++ b/dwtx/jface/text/DefaultTextHover.d	Sun Aug 24 01:46:20 2008 +0200
@@ -194,7 +194,7 @@
         
         Iterator e= model.getAnnotationIterator();
         while (e.hasNext()) {
-            Annotation a= (Annotation) e.next();
+            Annotation a= cast(Annotation) e.next();
             if (isIncluded(a)) {
                 Position p= model.getPosition(a);
                 if (p !is null && p.overlapsWith(hoverRegion.getOffset(), hoverRegion.getLength())) {
@@ -228,7 +228,7 @@
     
     private IAnnotationModel getAnnotationModel(ISourceViewer viewer) {
         if (viewer instanceof ISourceViewerExtension2) {
-            ISourceViewerExtension2 extension= (ISourceViewerExtension2) viewer;
+            ISourceViewerExtension2 extension= cast(ISourceViewerExtension2) viewer;
             return extension.getVisualAnnotationModel();
         }
         return viewer.getAnnotationModel();