diff dwtx/jface/text/hyperlink/HyperlinkManager.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/hyperlink/HyperlinkManager.d	Sun Aug 24 02:22:48 2008 +0200
+++ b/dwtx/jface/text/hyperlink/HyperlinkManager.d	Sun Aug 24 02:26:23 2008 +0200
@@ -269,7 +269,7 @@
                 if (detector is null)
                     continue;
                 
-                if (detector instanceof IHyperlinkDetectorExtension2) {
+                if ( cast(IHyperlinkDetectorExtension2)detector ) {
                     int stateMask= (cast(IHyperlinkDetectorExtension2)detector).getStateMask();
                     if (stateMask !is -1 && stateMask !is fActiveHyperlinkStateMask)
                         continue;
@@ -354,7 +354,7 @@
             if (p.x > relativePosition.x)
                 widgetOffset--;
             
-            if (fTextViewer instanceof ITextViewerExtension5) {
+            if ( cast(ITextViewerExtension5)fTextViewer ) {
                 ITextViewerExtension5 extension= cast(ITextViewerExtension5)fTextViewer;
                 return extension.widgetOffset2ModelOffset(widgetOffset);
             }
@@ -453,7 +453,7 @@
      * @see dwt.events.MouseMoveListener#mouseMove(dwt.events.MouseEvent)
      */
     public void mouseMove(MouseEvent event) {
-        if (fHyperlinkPresenter instanceof IHyperlinkPresenterExtension) {
+        if ( cast(IHyperlinkPresenterExtension)fHyperlinkPresenter ) {
             if (!(cast(IHyperlinkPresenterExtension)fHyperlinkPresenter).canHideHyperlinks())
                 return;
         }
@@ -547,7 +547,7 @@
      * @since 3.4
      */
     public void mouseExit(MouseEvent e) {
-        if (fHyperlinkPresenter instanceof IHyperlinkPresenterExtension) {
+        if ( cast(IHyperlinkPresenterExtension)fHyperlinkPresenter ) {
             if (!(cast(IHyperlinkPresenterExtension)fHyperlinkPresenter).canHideHyperlinks())
                 return;
         }