comparison dwtx/jface/text/link/LinkedModeUI.d @ 143:53b889547456

instanceof after &&
author Frank Benoit <benoit@tionex.de>
date Sun, 24 Aug 2008 21:32:37 +0200
parents 26688fec6d23
children 75302ef3f92f
comparison
equal deleted inserted replaced
142:893c017bcdc5 143:53b889547456
345 else 345 else
346 { 346 {
347 // Post in UI thread since the assistant popup will only get the focus after we lose it. 347 // Post in UI thread since the assistant popup will only get the focus after we lose it.
348 display.asyncExec(new class() Runnable { 348 display.asyncExec(new class() Runnable {
349 public void run() { 349 public void run() {
350 if (fIsActive && viewer instanceof IEditingSupportRegistry) { 350 if (fIsActive && cast(IEditingSupportRegistry)viewer ) {
351 IEditingSupport[] helpers= (cast(IEditingSupportRegistry) viewer).getRegisteredSupports(); 351 IEditingSupport[] helpers= (cast(IEditingSupportRegistry) viewer).getRegisteredSupports();
352 for (int i= 0; i < helpers.length; i++) { 352 for (int i= 0; i < helpers.length; i++) {
353 if (helpers[i].ownsFocusShell()) 353 if (helpers[i].ownsFocusShell())
354 return; 354 return;
355 } 355 }
398 // causes us to exit 398 // causes us to exit
399 int end= event.getOffset() + event.getLength(); 399 int end= event.getOffset() + event.getLength();
400 for (int offset= event.getOffset(); offset <= end; offset++) { 400 for (int offset= event.getOffset(); offset <= end; offset++) {
401 if (!fModel.anyPositionContains(offset)) { 401 if (!fModel.anyPositionContains(offset)) {
402 ITextViewer viewer= fCurrentTarget.getViewer(); 402 ITextViewer viewer= fCurrentTarget.getViewer();
403 if (fFramePosition !is null && viewer instanceof IEditingSupportRegistry) { 403 if (fFramePosition !is null && cast(IEditingSupportRegistry)viewer ) {
404 IEditingSupport[] helpers= (cast(IEditingSupportRegistry) viewer).getRegisteredSupports(); 404 IEditingSupport[] helpers= (cast(IEditingSupportRegistry) viewer).getRegisteredSupports();
405 for (int i= 0; i < helpers.length; i++) { 405 for (int i= 0; i < helpers.length; i++) {
406 if (helpers[i].isOriginator(null, new Region(fFramePosition.getOffset(), fFramePosition.getLength()))) 406 if (helpers[i].isOriginator(null, new Region(fFramePosition.getOffset(), fFramePosition.getLength())))
407 return; 407 return;
408 } 408 }