comparison dwtx/jface/text/source/MatchingCharacterPainter.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
comparison
equal deleted inserted replaced
133:7d818bd32d63 134:51e6e63f930e
198 int length= fPairPosition.getLength(); 198 int length= fPairPosition.getLength();
199 if (length < 1) 199 if (length < 1)
200 return; 200 return;
201 201
202 if (fSourceViewer instanceof ITextViewerExtension5) { 202 if (fSourceViewer instanceof ITextViewerExtension5) {
203 ITextViewerExtension5 extension= (ITextViewerExtension5) fSourceViewer; 203 ITextViewerExtension5 extension= cast(ITextViewerExtension5) fSourceViewer;
204 IRegion widgetRange= extension.modelRange2WidgetRange(new Region(offset, length)); 204 IRegion widgetRange= extension.modelRange2WidgetRange(new Region(offset, length));
205 if (widgetRange is null) 205 if (widgetRange is null)
206 return; 206 return;
207 207
208 try { 208 try {