Mercurial > projects > dwt-addons

comparison dwtx/jface/text/source/LineNumberRulerColumn.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 65801ad2b265
children 893c017bcdc5
comparison
equal deleted inserted replaced
137:25170b5a8951 138:b6bad70d540a
297 Point p= fCachedTextWidget.getLocationAtOffset(widgetOffset); 297 Point p= fCachedTextWidget.getLocationAtOffset(widgetOffset);
298 if (p.x > relativePosition.x) 298 if (p.x > relativePosition.x)
299 widgetOffset--; 299 widgetOffset--;
300 300
301 // Convert to model offset 301 // Convert to model offset
302 if (fCachedTextViewer instanceof ITextViewerExtension5) { 302 if ( cast(ITextViewerExtension5)fCachedTextViewer ) {
303 ITextViewerExtension5 extension= cast(ITextViewerExtension5)fCachedTextViewer; 303 ITextViewerExtension5 extension= cast(ITextViewerExtension5)fCachedTextViewer;
304 offset= extension.widgetOffset2ModelOffset(widgetOffset); 304 offset= extension.widgetOffset2ModelOffset(widgetOffset);
305 } else 305 } else
306 offset= widgetOffset + fCachedTextViewer.getVisibleRegion().getOffset(); 306 offset= widgetOffset + fCachedTextViewer.getVisibleRegion().getOffset();
307 307
308 } catch (IllegalArgumentException ex) { 308 } catch (IllegalArgumentException ex) {
309 int lineEndOffset= lineInfo.getOffset() + lineInfo.getLength(); 309 int lineEndOffset= lineInfo.getOffset() + lineInfo.getLength();
310 310
311 // Convert to widget offset 311 // Convert to widget offset
312 int lineEndWidgetOffset; 312 int lineEndWidgetOffset;
313 if (fCachedTextViewer instanceof ITextViewerExtension5) { 313 if ( cast(ITextViewerExtension5)fCachedTextViewer ) {
314 ITextViewerExtension5 extension= cast(ITextViewerExtension5)fCachedTextViewer; 314 ITextViewerExtension5 extension= cast(ITextViewerExtension5)fCachedTextViewer;
315 lineEndWidgetOffset= extension.modelOffset2WidgetOffset(lineEndOffset); 315 lineEndWidgetOffset= extension.modelOffset2WidgetOffset(lineEndOffset);
316 } else 316 } else
317 lineEndWidgetOffset= lineEndOffset - fCachedTextViewer.getVisibleRegion().getOffset(); 317 lineEndWidgetOffset= lineEndOffset - fCachedTextViewer.getVisibleRegion().getOffset();
318 318
594 fRelayoutRequired= true; 594 fRelayoutRequired= true;
595 return; 595 return;
596 } 596 }
597 597
598 fRelayoutRequired= false; 598 fRelayoutRequired= false;
599 if (fCachedTextViewer instanceof ITextViewerExtension) { 599 if ( cast(ITextViewerExtension)fCachedTextViewer ) {
600 ITextViewerExtension extension= cast(ITextViewerExtension) fCachedTextViewer; 600 ITextViewerExtension extension= cast(ITextViewerExtension) fCachedTextViewer;
601 Control control= extension.getControl(); 601 Control control= extension.getControl();
602 if (control instanceof Composite && !control.isDisposed()) { 602 if (control instanceof Composite && !control.isDisposed()) {
603 Composite composite= cast(Composite) control; 603 Composite composite= cast(Composite) control;
604 composite.layout(true); 604 composite.layout(true);