Mercurial > projects > dwt-addons

comparison dwtx/jface/text/source/ChangeRulerColumn.d @ 134:51e6e63f930e

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Regex fix for casts
author Frank Benoit <benoit@tionex.de>
date Sun, 24 Aug 2008 01:46:20 +0200
parents 7d818bd32d63
children 65801ad2b265
comparison
equal deleted inserted replaced
133:7d818bd32d63 134:51e6e63f930e
567 567
568 int topLine; 568 int topLine;
569 IRegion coverage; 569 IRegion coverage;
570 570
571 if (fCachedTextViewer instanceof ITextViewerExtension5) { 571 if (fCachedTextViewer instanceof ITextViewerExtension5) {
572 ITextViewerExtension5 extension= (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);
577 topLine= extension.widgetLine2ModelLine(widgetTopLine); 577 topLine= extension.widgetLine2ModelLine(widgetTopLine);