comparison dwtx/jface/text/source/ChangeRulerColumn.d @ 138:b6bad70d540a

Regex instanceof changes
author Frank Benoit <benoit@tionex.de>
date Sun, 24 Aug 2008 02:26:23 +0200
parents 65801ad2b265
children 75302ef3f92f
comparison
equal deleted inserted replaced
137:25170b5a8951 138:b6bad70d540a
566 return null; 566 return null;
567 567
568 int topLine; 568 int topLine;
569 IRegion coverage; 569 IRegion coverage;
570 570
571 if (fCachedTextViewer instanceof ITextViewerExtension5) { 571 if ( cast(ITextViewerExtension5)fCachedTextViewer ) {
572 ITextViewerExtension5 extension= cast(ITextViewerExtension5) fCachedTextViewer; 572 ITextViewerExtension5 extension= cast(ITextViewerExtension5) fCachedTextViewer;
573 573
574 // ITextViewer.getTopIndex returns the fully visible line, but we want the partially 574 // ITextViewer.getTopIndex returns the fully visible line, but we want the partially
575 // visible one 575 // visible one
576 int widgetTopLine= JFaceTextUtil.getPartialTopIndex(fCachedTextWidget); 576 int widgetTopLine= JFaceTextUtil.getPartialTopIndex(fCachedTextWidget);