diff dwtx/jface/text/WhitespaceCharacterPainter.d @ 138:b6bad70d540a

Regex instanceof changes
author Frank Benoit <benoit@tionex.de>
date Sun, 24 Aug 2008 02:26:23 +0200
parents 51e6e63f930e
children 26688fec6d23
line wrap: on
line diff
--- a/dwtx/jface/text/WhitespaceCharacterPainter.d	Sun Aug 24 02:22:48 2008 +0200
+++ b/dwtx/jface/text/WhitespaceCharacterPainter.d	Sun Aug 24 02:26:23 2008 +0200
@@ -446,7 +446,7 @@
      * @return <code>true</code> if the line is folded
      */
     private bool isFoldedLine(int widgetLine) {
-        if (fTextViewer instanceof ITextViewerExtension5) {
+        if ( cast(ITextViewerExtension5)fTextViewer ) {
             ITextViewerExtension5 extension= cast(ITextViewerExtension5)fTextViewer;
             int modelLine= extension.widgetLine2ModelLine(widgetLine);
             int widgetLine2= extension.modelLine2WidgetLine(modelLine + 1);
@@ -489,7 +489,7 @@
      * @return widget offset
      */
     private int getWidgetOffset(int documentOffset) {
-        if (fTextViewer instanceof ITextViewerExtension5) {
+        if ( cast(ITextViewerExtension5)fTextViewer ) {
             ITextViewerExtension5 extension= cast(ITextViewerExtension5)fTextViewer;
             return extension.modelOffset2WidgetOffset(documentOffset);
         }
@@ -508,7 +508,7 @@
      * @return document offset
      */
     private int getDocumentOffset(int widgetOffset) {
-        if (fTextViewer instanceof ITextViewerExtension5) {
+        if ( cast(ITextViewerExtension5)fTextViewer ) {
             ITextViewerExtension5 extension= cast(ITextViewerExtension5)fTextViewer;
             return extension.widgetOffset2ModelOffset(widgetOffset);
         }