comparison dwtx/jface/text/link/LinkedModeUI.d @ 149:b411f1c62131

instanceof
author Frank Benoit <benoit@tionex.de>
date Sun, 24 Aug 2008 22:41:48 +0200
parents 000f9136b8f7
children 5cf141e43417
comparison
equal deleted inserted replaced
148:b3dec671d1f7 149:b411f1c62131
540 */ 540 */
541 public void selectionChanged(SelectionChangedEvent event) { 541 public void selectionChanged(SelectionChangedEvent event) {
542 ISelection selection= event.getSelection(); 542 ISelection selection= event.getSelection();
543 if ( cast(ITextSelection)selection ) { 543 if ( cast(ITextSelection)selection ) {
544 ITextSelection textsel= cast(ITextSelection) selection; 544 ITextSelection textsel= cast(ITextSelection) selection;
545 if (event.getSelectionProvider() instanceof ITextViewer) { 545 if ( cast(ITextViewer)event.getSelectionProvider() ) {
546 IDocument doc= (cast(ITextViewer) event.getSelectionProvider()).getDocument(); 546 IDocument doc= (cast(ITextViewer) event.getSelectionProvider()).getDocument();
547 if (doc !is null) { 547 if (doc !is null) {
548 int offset= textsel.getOffset(); 548 int offset= textsel.getOffset();
549 int length= textsel.getLength(); 549 int length= textsel.getLength();
550 if (offset >= 0 && length >= 0) { 550 if (offset >= 0 && length >= 0) {