comparison dwtx/jface/text/DefaultDocumentAdapter.d @ 140:26688fec6d23

Following dsss compile errors
author Frank Benoit <benoit@tionex.de>
date Sun, 24 Aug 2008 03:23:46 +0200
parents b6bad70d540a
children f70d9508c95c
comparison
equal deleted inserted replaced
139:93a6ec48fd28 140:26688fec6d23
485 return; 485 return;
486 486
487 TextChangedEvent event= new TextChangedEvent(this); 487 TextChangedEvent event= new TextChangedEvent(this);
488 488
489 if (fTextChangeListeners !is null && fTextChangeListeners.size() > 0) { 489 if (fTextChangeListeners !is null && fTextChangeListeners.size() > 0) {
490 Iterator e= new ArrayList(fTextChangeListeners).iterator(); 490 Iterator e= (new ArrayList(fTextChangeListeners)).iterator();
491 while (e.hasNext()) 491 while (e.hasNext())
492 (cast(TextChangeListener) e.next()).textChanged(event); 492 (cast(TextChangeListener) e.next()).textChanged(event);
493 } 493 }
494 } 494 }
495 495
502 return; 502 return;
503 503
504 TextChangedEvent event = new TextChangedEvent(this); 504 TextChangedEvent event = new TextChangedEvent(this);
505 505
506 if (fTextChangeListeners !is null && fTextChangeListeners.size() > 0) { 506 if (fTextChangeListeners !is null && fTextChangeListeners.size() > 0) {
507 Iterator e= new ArrayList(fTextChangeListeners).iterator(); 507 Iterator e= (new ArrayList(fTextChangeListeners)).iterator();
508 while (e.hasNext()) 508 while (e.hasNext())
509 (cast(TextChangeListener) e.next()).textSet(event); 509 (cast(TextChangeListener) e.next()).textSet(event);
510 } 510 }
511 } 511 }
512 512
530 event.newText= fEvent.fText; 530 event.newText= fEvent.fText;
531 event.newCharCount= (fEvent.fText is null ? 0 : fEvent.fText.length()); 531 event.newCharCount= (fEvent.fText is null ? 0 : fEvent.fText.length());
532 event.newLineCount= (fEvent.fText is null ? 0 : document.computeNumberOfLines(fEvent.fText)); 532 event.newLineCount= (fEvent.fText is null ? 0 : document.computeNumberOfLines(fEvent.fText));
533 533
534 if (fTextChangeListeners !is null && fTextChangeListeners.size() > 0) { 534 if (fTextChangeListeners !is null && fTextChangeListeners.size() > 0) {
535 Iterator e= new ArrayList(fTextChangeListeners).iterator(); 535 Iterator e= (new ArrayList(fTextChangeListeners)).iterator();
536 while (e.hasNext()) 536 while (e.hasNext())
537 (cast(TextChangeListener) e.next()).textChanging(event); 537 (cast(TextChangeListener) e.next()).textChanging(event);
538 } 538 }
539 539
540 } catch (BadLocationException e) { 540 } catch (BadLocationException e) {