Mercurial > projects > dwt-addons

comparison dwtx/jface/text/DefaultDocumentAdapter.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 6dcb0baaa031
comparison
equal deleted inserted replaced
133:7d818bd32d63 134:51e6e63f930e
274 * @see IRepairableDocument#repairLineInformation() 274 * @see IRepairableDocument#repairLineInformation()
275 * @since 3.0 275 * @since 3.0
276 */ 276 */
277 private void repairLineInformation(IDocument document) { 277 private void repairLineInformation(IDocument document) {
278 if (document instanceof IRepairableDocument) { 278 if (document instanceof IRepairableDocument) {
279 IRepairableDocument repairable= (IRepairableDocument) document; 279 IRepairableDocument repairable= cast(IRepairableDocument) document;
280 repairable.repairLineInformation(); 280 repairable.repairLineInformation();
281 } 281 }
282 } 282 }
283 283
284 /** 284 /**
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 ((TextChangeListener) e.next()).textChanged(event); 492 (cast(TextChangeListener) e.next()).textChanged(event);
493 } 493 }
494 } 494 }
495 495
496 /** 496 /**
497 * Sends a text set event to all registered listeners. 497 * Sends a text set event to all registered listeners.
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 ((TextChangeListener) e.next()).textSet(event); 509 (cast(TextChangeListener) e.next()).textSet(event);
510 } 510 }
511 } 511 }
512 512
513 /** 513 /**
514 * Sends the text changing event to all registered listeners. 514 * Sends the text changing event to all registered listeners.
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 ((TextChangeListener) e.next()).textChanging(event); 537 (cast(TextChangeListener) e.next()).textChanging(event);
538 } 538 }
539 539
540 } catch (BadLocationException e) { 540 } catch (BadLocationException e) {
541 } 541 }
542 } 542 }