Mercurial > projects > dwt-addons

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

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Regex instanceof changes
author Frank Benoit <benoit@tionex.de>
date Sun, 24 Aug 2008 02:26:23 +0200
parents 51e6e63f930e
children 26688fec6d23
comparison
equal deleted inserted replaced
137:25170b5a8951 138:b6bad70d540a
444 * 444 *
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 ( cast(ITextViewerExtension5)fTextViewer ) {
450 ITextViewerExtension5 extension= cast(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 }
487 * 487 *
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 ( cast(ITextViewerExtension5)fTextViewer ) {
493 ITextViewerExtension5 extension= cast(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();
506 * 506 *
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 ( cast(ITextViewerExtension5)fTextViewer ) {
512 ITextViewerExtension5 extension= cast(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()) {