Mercurial > projects > dwt-addons
diff dwtx/jface/text/CursorLinePainter.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/CursorLinePainter.d Sun Aug 24 01:29:22 2008 +0200 +++ b/dwtx/jface/text/CursorLinePainter.d Sun Aug 24 01:46:20 2008 +0200 @@ -284,7 +284,7 @@ private int getModelCaret() { int widgetCaret= fViewer.getTextWidget().getCaretOffset(); if (fViewer instanceof ITextViewerExtension5) { - ITextViewerExtension5 extension= (ITextViewerExtension5) fViewer; + ITextViewerExtension5 extension= cast(ITextViewerExtension5) fViewer; return extension.widgetOffset2ModelOffset(widgetCaret); } IRegion visible= fViewer.getVisibleRegion(); @@ -305,7 +305,7 @@ int widgetOffset= 0; if (fViewer instanceof ITextViewerExtension5) { - ITextViewerExtension5 extension= (ITextViewerExtension5) fViewer; + ITextViewerExtension5 extension= cast(ITextViewerExtension5) fViewer; widgetOffset= extension.modelOffset2WidgetOffset(position.getOffset()); if (widgetOffset is -1) return;