Mercurial > projects > dwt-addons
comparison dwtx/jface/text/WhitespaceCharacterPainter.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 |
---|---|
445 * @param widgetLine the widget line number | 445 * @param widgetLine the widget line number |
446 * @return <code>true</code> if the line is folded | 446 * @return <code>true</code> if the line is folded |
447 */ | 447 */ |
448 private bool isFoldedLine(int widgetLine) { | 448 private bool isFoldedLine(int widgetLine) { |
449 if (fTextViewer instanceof ITextViewerExtension5) { | 449 if (fTextViewer instanceof ITextViewerExtension5) { |
450 ITextViewerExtension5 extension= (ITextViewerExtension5)fTextViewer; | 450 ITextViewerExtension5 extension= cast(ITextViewerExtension5)fTextViewer; |
451 int modelLine= extension.widgetLine2ModelLine(widgetLine); | 451 int modelLine= extension.widgetLine2ModelLine(widgetLine); |
452 int widgetLine2= extension.modelLine2WidgetLine(modelLine + 1); | 452 int widgetLine2= extension.modelLine2WidgetLine(modelLine + 1); |
453 return widgetLine2 is -1; | 453 return widgetLine2 is -1; |
454 } | 454 } |
455 return false; | 455 return false; |
488 * @param documentOffset | 488 * @param documentOffset |
489 * @return widget offset | 489 * @return widget offset |
490 */ | 490 */ |
491 private int getWidgetOffset(int documentOffset) { | 491 private int getWidgetOffset(int documentOffset) { |
492 if (fTextViewer instanceof ITextViewerExtension5) { | 492 if (fTextViewer instanceof ITextViewerExtension5) { |
493 ITextViewerExtension5 extension= (ITextViewerExtension5)fTextViewer; | 493 ITextViewerExtension5 extension= cast(ITextViewerExtension5)fTextViewer; |
494 return extension.modelOffset2WidgetOffset(documentOffset); | 494 return extension.modelOffset2WidgetOffset(documentOffset); |
495 } | 495 } |
496 IRegion visible= fTextViewer.getVisibleRegion(); | 496 IRegion visible= fTextViewer.getVisibleRegion(); |
497 int widgetOffset= documentOffset - visible.getOffset(); | 497 int widgetOffset= documentOffset - visible.getOffset(); |
498 if (widgetOffset > visible.getLength()) { | 498 if (widgetOffset > visible.getLength()) { |
507 * @param widgetOffset | 507 * @param widgetOffset |
508 * @return document offset | 508 * @return document offset |
509 */ | 509 */ |
510 private int getDocumentOffset(int widgetOffset) { | 510 private int getDocumentOffset(int widgetOffset) { |
511 if (fTextViewer instanceof ITextViewerExtension5) { | 511 if (fTextViewer instanceof ITextViewerExtension5) { |
512 ITextViewerExtension5 extension= (ITextViewerExtension5)fTextViewer; | 512 ITextViewerExtension5 extension= cast(ITextViewerExtension5)fTextViewer; |
513 return extension.widgetOffset2ModelOffset(widgetOffset); | 513 return extension.widgetOffset2ModelOffset(widgetOffset); |
514 } | 514 } |
515 IRegion visible= fTextViewer.getVisibleRegion(); | 515 IRegion visible= fTextViewer.getVisibleRegion(); |
516 if (widgetOffset > visible.getLength()) { | 516 if (widgetOffset > visible.getLength()) { |
517 return -1; | 517 return -1; |