Mercurial > projects > dwt-addons

comparison dwtx/jface/text/PaintManager.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 65801ad2b265
comparison
equal deleted inserted replaced
133:7d818bd32d63 134:51e6e63f930e
404 fManager.dispose(); 404 fManager.dispose();
405 fManager= null; 405 fManager= null;
406 } 406 }
407 407
408 for (Iterator e = fPainters.iterator(); e.hasNext();) 408 for (Iterator e = fPainters.iterator(); e.hasNext();)
409 ((IPainter) e.next()).dispose(); 409 (cast(IPainter) e.next()).dispose();
410 fPainters.clear(); 410 fPainters.clear();
411 411
412 fTextViewer.removeTextInputListener(this); 412 fTextViewer.removeTextInputListener(this);
413 413
414 removeListeners(); 414 removeListeners();
438 * @param reason the reason 438 * @param reason the reason
439 * @see IPainter 439 * @see IPainter
440 */ 440 */
441 private void paint(int reason) { 441 private void paint(int reason) {
442 for (Iterator e = fPainters.iterator(); e.hasNext();) 442 for (Iterator e = fPainters.iterator(); e.hasNext();)
443 ((IPainter) e.next()).paint(reason); 443 (cast(IPainter) e.next()).paint(reason);
444 } 444 }
445 445
446 /* 446 /*
447 * @see KeyListener#keyPressed(KeyEvent) 447 * @see KeyListener#keyPressed(KeyEvent)
448 */ 448 */
505 * @see ITextInputListener#inputDocumentAboutToBeChanged(IDocument, IDocument) 505 * @see ITextInputListener#inputDocumentAboutToBeChanged(IDocument, IDocument)
506 */ 506 */
507 public void inputDocumentAboutToBeChanged(IDocument oldInput, IDocument newInput) { 507 public void inputDocumentAboutToBeChanged(IDocument oldInput, IDocument newInput) {
508 if (oldInput !is null) { 508 if (oldInput !is null) {
509 for (Iterator e = fPainters.iterator(); e.hasNext();) 509 for (Iterator e = fPainters.iterator(); e.hasNext();)
510 ((IPainter) e.next()).deactivate(false); 510 (cast(IPainter) e.next()).deactivate(false);
511 fManager.uninstall(oldInput); 511 fManager.uninstall(oldInput);
512 removeListeners(); 512 removeListeners();
513 } 513 }
514 } 514 }
515 515