diff dwtx/jface/text/source/OverviewRulerHoverManager.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 b6bad70d540a
line wrap: on
line diff
--- a/dwtx/jface/text/source/OverviewRulerHoverManager.d	Sun Aug 24 01:29:22 2008 +0200
+++ b/dwtx/jface/text/source/OverviewRulerHoverManager.d	Sun Aug 24 01:46:20 2008 +0200
@@ -124,7 +124,7 @@
         
         IInformationControlCreator controlCreator= null;
         if (hover instanceof IAnnotationHoverExtension)
-            controlCreator= ((IAnnotationHoverExtension)hover).getHoverControlCreator();
+            controlCreator= (cast(IAnnotationHoverExtension)hover).getHoverControlCreator();
         setCustomInformationControlCreator(controlCreator);
         
         setInformation(hover.getHoverInfo(getSourceViewer(), line), computeArea(location.y));
@@ -138,7 +138,7 @@
      */
     private Rectangle computeArea(int y) {
         // This is OK (see constructor)
-        IOverviewRuler overviewRuler= (IOverviewRuler) getVerticalRulerInfo();
+        IOverviewRuler overviewRuler= cast(IOverviewRuler) getVerticalRulerInfo();
 
         int hover_height= overviewRuler.getAnnotationHeight();
         int hover_width= getVerticalRulerInfo().getControl().getSize().x;