Mercurial > projects > dwt-addons

comparison dwtx/jface/text/JFaceTextUtil.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 b6bad70d540a
comparison
equal deleted inserted replaced
133:7d818bd32d63 134:51e6e63f930e
334 * is no corresponding model line 334 * is no corresponding model line
335 */ 335 */
336 public static int widgetLine2ModelLine(ITextViewer viewer, int widgetLine) { 336 public static int widgetLine2ModelLine(ITextViewer viewer, int widgetLine) {
337 int modelLine; 337 int modelLine;
338 if (viewer instanceof ITextViewerExtension5) { 338 if (viewer instanceof ITextViewerExtension5) {
339 ITextViewerExtension5 extension= (ITextViewerExtension5) viewer; 339 ITextViewerExtension5 extension= cast(ITextViewerExtension5) viewer;
340 modelLine= extension.widgetLine2ModelLine(widgetLine); 340 modelLine= extension.widgetLine2ModelLine(widgetLine);
341 } else { 341 } else {
342 try { 342 try {
343 IRegion r= viewer.getVisibleRegion(); 343 IRegion r= viewer.getVisibleRegion();
344 IDocument d= viewer.getDocument(); 344 IDocument d= viewer.getDocument();
361 * is no corresponding widget line 361 * is no corresponding widget line
362 */ 362 */
363 public static int modelLineToWidgetLine(ITextViewer viewer, final int modelLine) { 363 public static int modelLineToWidgetLine(ITextViewer viewer, final int modelLine) {
364 int widgetLine; 364 int widgetLine;
365 if (viewer instanceof ITextViewerExtension5) { 365 if (viewer instanceof ITextViewerExtension5) {
366 ITextViewerExtension5 extension= (ITextViewerExtension5) viewer; 366 ITextViewerExtension5 extension= cast(ITextViewerExtension5) viewer;
367 widgetLine= extension.modelLine2WidgetLine(modelLine); 367 widgetLine= extension.modelLine2WidgetLine(modelLine);
368 } else { 368 } else {
369 IRegion region= viewer.getVisibleRegion(); 369 IRegion region= viewer.getVisibleRegion();
370 IDocument document= viewer.getDocument(); 370 IDocument document= viewer.getDocument();
371 try { 371 try {
469 * 469 *
470 * @since 3.4 470 * @since 3.4
471 */ 471 */
472 private static IRegion modelRange2WidgetRange(IRegion region, ITextViewer textViewer) { 472 private static IRegion modelRange2WidgetRange(IRegion region, ITextViewer textViewer) {
473 if (textViewer instanceof ITextViewerExtension5) { 473 if (textViewer instanceof ITextViewerExtension5) {
474 ITextViewerExtension5 extension= (ITextViewerExtension5) textViewer; 474 ITextViewerExtension5 extension= cast(ITextViewerExtension5) textViewer;
475 return extension.modelRange2WidgetRange(region); 475 return extension.modelRange2WidgetRange(region);
476 } 476 }
477 477
478 IRegion visibleRegion= textViewer.getVisibleRegion(); 478 IRegion visibleRegion= textViewer.getVisibleRegion();
479 int start= region.getOffset() - visibleRegion.getOffset(); 479 int start= region.getOffset() - visibleRegion.getOffset();