diff dwtx/jface/text/source/projection/SourceViewerInformationControl.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 65801ad2b265
line wrap: on
line diff
--- a/dwtx/jface/text/source/projection/SourceViewerInformationControl.d	Sun Aug 24 01:29:22 2008 +0200
+++ b/dwtx/jface/text/source/projection/SourceViewerInformationControl.d	Sun Aug 24 01:46:20 2008 +0200
@@ -190,7 +190,7 @@
      */
     public void setInput(Object input) {
         if (input instanceof String)
-            setInformation((String)input);
+            setInformation(cast(String)input);
         else
             setInformation(null);
     }
@@ -244,7 +244,7 @@
     public void setSize(int width, int height) {
 
         if (fStatusField !is null) {
-            GridData gd= (GridData)fViewer.getTextWidget().getLayoutData();
+            GridData gd= cast(GridData)fViewer.getTextWidget().getLayoutData();
             Point statusSize= fStatusField.computeSize(DWT.DEFAULT, DWT.DEFAULT, true);
             Point separatorSize= fSeparator.computeSize(DWT.DEFAULT, DWT.DEFAULT, true);
             gd.heightHint= height - statusSize.y - separatorSize.y;