diff dwtx/jface/text/TextViewerUndoManager.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/TextViewerUndoManager.d	Sun Aug 24 01:29:22 2008 +0200
+++ b/dwtx/jface/text/TextViewerUndoManager.d	Sun Aug 24 01:46:20 2008 +0200
@@ -293,7 +293,7 @@
                 if (event.isCompound()) {
                     ITextViewerExtension extension= null;
                     if (fTextViewer instanceof ITextViewerExtension)
-                        extension= (ITextViewerExtension) fTextViewer;
+                        extension= cast(ITextViewerExtension) fTextViewer;
 
                     if (extension !is null)
                         extension.setRedraw(false);
@@ -301,7 +301,7 @@
                 fTextViewer.getTextWidget().getDisplay().syncExec(new Runnable() {
                     public void run() {
                         if (fTextViewer instanceof TextViewer)
-                            ((TextViewer)fTextViewer).ignoreAutoEditStrategies(true);
+                            (cast(TextViewer)fTextViewer).ignoreAutoEditStrategies(true);
                     }
                 });
                 
@@ -309,13 +309,13 @@
                 fTextViewer.getTextWidget().getDisplay().syncExec(new Runnable() {
                     public void run() {
                         if (fTextViewer instanceof TextViewer)
-                            ((TextViewer)fTextViewer).ignoreAutoEditStrategies(false);
+                            (cast(TextViewer)fTextViewer).ignoreAutoEditStrategies(false);
                     }
                 });
                 if (event.isCompound()) {
                     ITextViewerExtension extension= null;
                     if (fTextViewer instanceof ITextViewerExtension)
-                        extension= (ITextViewerExtension) fTextViewer;
+                        extension= cast(ITextViewerExtension) fTextViewer;
 
                     if (extension !is null)
                         extension.setRedraw(true);
@@ -546,7 +546,7 @@
      */
     private void selectAndReveal(int offset, int length) {
         if (fTextViewer instanceof ITextViewerExtension5) {
-            ITextViewerExtension5 extension= (ITextViewerExtension5) fTextViewer;
+            ITextViewerExtension5 extension= cast(ITextViewerExtension5) fTextViewer;
             extension.exposeModelRange(new Region(offset, length));
         } else if (!fTextViewer.overlapsWithVisibleRegion(offset, length))
             fTextViewer.resetVisibleRegion();