Mercurial > projects > dwt-addons
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); |