comparison dwtx/jface/text/CursorLinePainter.d @ 138:b6bad70d540a

Regex instanceof changes
author Frank Benoit <benoit@tionex.de>
date Sun, 24 Aug 2008 02:26:23 +0200
parents 51e6e63f930e
children 75302ef3f92f
comparison
equal deleted inserted replaced
137:25170b5a8951 138:b6bad70d540a
281 * 281 *
282 * @return the caret location 282 * @return the caret location
283 */ 283 */
284 private int getModelCaret() { 284 private int getModelCaret() {
285 int widgetCaret= fViewer.getTextWidget().getCaretOffset(); 285 int widgetCaret= fViewer.getTextWidget().getCaretOffset();
286 if (fViewer instanceof ITextViewerExtension5) { 286 if ( cast(ITextViewerExtension5)fViewer ) {
287 ITextViewerExtension5 extension= cast(ITextViewerExtension5) fViewer; 287 ITextViewerExtension5 extension= cast(ITextViewerExtension5) fViewer;
288 return extension.widgetOffset2ModelOffset(widgetCaret); 288 return extension.widgetOffset2ModelOffset(widgetCaret);
289 } 289 }
290 IRegion visible= fViewer.getVisibleRegion(); 290 IRegion visible= fViewer.getVisibleRegion();
291 return widgetCaret + visible.getOffset(); 291 return widgetCaret + visible.getOffset();
301 // if the position that is about to be drawn was deleted then we can't 301 // if the position that is about to be drawn was deleted then we can't
302 if (position.isDeleted()) 302 if (position.isDeleted())
303 return; 303 return;
304 304
305 int widgetOffset= 0; 305 int widgetOffset= 0;
306 if (fViewer instanceof ITextViewerExtension5) { 306 if ( cast(ITextViewerExtension5)fViewer ) {
307 307
308 ITextViewerExtension5 extension= cast(ITextViewerExtension5) fViewer; 308 ITextViewerExtension5 extension= cast(ITextViewerExtension5) fViewer;
309 widgetOffset= extension.modelOffset2WidgetOffset(position.getOffset()); 309 widgetOffset= extension.modelOffset2WidgetOffset(position.getOffset());
310 if (widgetOffset is -1) 310 if (widgetOffset is -1)
311 return; 311 return;